Changeset 1a9c843 for sql/schema.md

Timestamp:

09/23/26 13:29:06 (5 hours ago)

Author:

Stefan-Saveski <stefansaveski19@…>

Branches:

master

Children:

e7bafc0

Parents:

a12988e (diff), f7c8acf (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge remote-tracking branch 'origin/phase5-normalization'

File:

• sql/schema.md (modified) (3 diffs)

sql/schema.md

@@ -111 +111 @@
     payment {
         integer id PK
-        integer user_id FK
         integer enrollment_id FK
         integer amount
@@ -136 +135 @@
     users               ||--o| contact            : has_contact
     users               ||--o{ token              : has_token
-    users               ||--o{ payment            : pays
     users               ||--o{ enrolled_semesters : submits
     users               ||--o{ user_documents     : owns
@@ -184 +182 @@
   they differ.
 - `professour_subjects` keeps the spelling used by the table in `schema_creation.sql`.
+- `payment` has no `user_id`: the student is reached through `enrollment_id`.
+  Storing it twice violated BCNF (`enrolled_id -> user_id`) and allowed a
+  payment to contradict the enrolment it refers to. Removed in Phase 5.