Changes in / [e7bafc0:bcacc91]


Ignore:
Files:
62 deleted
7 edited

Legend:

Unmodified
Added
Removed

  • iknow-api/Data/AppDbContext.cs

    re7bafc0 rbcacc91  
    290290                e.HasKey(p => p.Id);
    291291                e.Property(p => p.Id).HasColumnName("id");
     292                e.Property(p => p.UserId).HasColumnName("user_id");
    292293                e.Property(p => p.EnrollmentInfoId).HasColumnName("enrollment_id");
    293294                e.Property(p => p.Amount).HasColumnName("amount");
    294295
    295                 // No user_id: the student comes from the enrolment. Removing it
    296                 // was the BCNF fix from Phase 5 (enrolled_id -> user_id).
     296                e.HasOne(p => p.User)
     297                 .WithMany(u => u.Payments)
     298                 .HasForeignKey(p => p.UserId)
     299                 .OnDelete(DeleteBehavior.Cascade);
     300
    297301                e.HasOne(p => p.EnrolledSemesters)
    298302                 .WithMany(es => es.Users)

  • iknow-api/Models/Payment.cs

    re7bafc0 rbcacc91  
     1using System.ComponentModel.DataAnnotations.Schema;
     2
    13namespace iknow_api.Models
    24{
    3     /// <summary>
    4     /// The student is reached through the enrolment: enrolled_id -> user_id.
    5     /// A user_id here would be redundant and could contradict the enrolment,
    6     /// which is the BCNF violation found during normalization (Phase 5).
    7     /// </summary>
    85    public class Payment
    96    {
    107        public int Id { get; set; }
    118
     9        public int UserId { get; set; }
     10        public User? User { get; set; }
    1211        public int EnrollmentInfoId { get; set; }
    1312        public int Amount { get; set; }
    1413        public EnrolledSemesters? EnrolledSemesters { get; set; }
     14
    1515    }
    1616}

  • iknow-api/Models/User.cs

    re7bafc0 rbcacc91  
    2828        public ICollection<UserDocuments>? Documents { get; set; }
    2929
     30        // Named for the relationship it carries: Users 1 --pays-- N Payment.
     31        public ICollection<Payment>? Payments { get; set; }
     32
    3033        // Users 1 --submits-- N EnrolledSemesters
    3134        public ICollection<EnrolledSemesters>? Enrolments { get; set; }

  • sql/data_load.sql

    re7bafc0 rbcacc91  
    115115(3, 1, 'tok_old789_stefan', '2026-01-01 00:00:00', FALSE);
    116116
    117 INSERT INTO payment (id, enrollment_id, amount) VALUES
    118 (1, 1, 200),
    119 (2, 2, 200),
    120 (3, 3, 400),
    121 (4, 4, 200);
     117INSERT INTO payment (id, user_id, enrollment_id, amount) VALUES
     118(1, 1, 1, 200),
     119(2, 1, 2, 200),
     120(3, 2, 3, 400),
     121(4, 3, 4, 200);
    122122
    123123INSERT INTO major_subjects (major_id, subject_id, mandatory_semester) VALUES

  • sql/iknow.dbml

    re7bafc0 rbcacc91  
    150150Table project.payment {
    151151  id integer [pk, increment]
     152  user_id integer [not null]
    152153  enrollment_id integer [not null]
    153154  amount integer [not null]
    … …  
    187188Ref: project.contact.user_id - project.users.id                      // has_contact (1:1)
    188189Ref: project.token.user_id > project.users.id                        // has_token
     190Ref: project.payment.user_id > project.users.id                      // pays
    189191Ref: project.payment.enrollment_id > project.enrolled_semesters.id   // for_enrollment
    190192Ref: project.enrolled_semesters.user_id > project.users.id           // submits

  • sql/schema.md

    re7bafc0 rbcacc91  
    111111    payment {
    112112        integer id PK
     113        integer user_id FK
    113114        integer enrollment_id FK
    114115        integer amount
    … …  
    135136    users               ||--o| contact            : has_contact
    136137    users               ||--o{ token              : has_token
     138    users               ||--o{ payment            : pays
    137139    users               ||--o{ enrolled_semesters : submits
    138140    users               ||--o{ user_documents     : owns
    … …  
    182184  they differ.
    183185- `professour_subjects` keeps the spelling used by the table in `schema_creation.sql`.
    184 - `payment` has no `user_id`: the student is reached through `enrollment_id`.
    185   Storing it twice violated BCNF (`enrolled_id -> user_id`) and allowed a
    186   payment to contradict the enrolment it refers to. Removed in Phase 5.

  • sql/schema_creation.sql

    re7bafc0 rbcacc91  
    115115CREATE TABLE payment (
    116116    id             INTEGER PRIMARY KEY GENERATED BY DEFAULT AS IDENTITY,
     117    user_id        INTEGER NOT NULL REFERENCES users (id),
    117118    enrollment_id  INTEGER NOT NULL REFERENCES enrolled_semesters (id),
    118119    amount         INTEGER NOT NULL
Note: See TracChangeset for help on using the changeset viewer.