Changes between Version 10 and Version 11 of LogicalAndPhysicalDesign

Timestamp:

12/21/25 23:39:02 (7 days ago)

Author:

231035

Comment:

--

LogicalAndPhysicalDesign

@@ -15 +15 @@
  
 {{{VET CLINICS}}}
-* VetClinic(clinic_id [PK], name, email, phone, city, address, approved_by [FK→Admin(user_id)])
+* !VetClinic(clinic_id [PK], name, email, phone, city, address, approved_by [FK→Admin(user_id)])
 
 {{{ANIMALS}}}
@@ -23 +23 @@
 * Listing(listing_id [PK], owner_id [FK→Owner(user_id)], animal_id [FK→Animal(animal_id)], status, price, description, created_at)
 {{{APPOINTMENTS}}}
-* Appointment(appointment_id [PK], clinic_id [FK→VetClinic(clinic_id)], animal_id [FK→Animal(animal_id)], responsible_owner_id [FK→Owner(user_id)], status, date_time, notes)
+* Appointment(appointment_id [PK], clinic_id [FK→!VetClinic(clinic_id)], animal_id [FK→Animal(animal_id)], responsible_owner_id [FK→Owner(user_id)], status, date_time, notes)
 {{{REVIEWS (SUPERTYPE + SUBTYPES)}}}
 * Review(review_id [PK], reviewer_id [FK→Client(user_id)], rating, comment, created_at)
-* UserReview(review_id [PK, FK→Review(review_id)], target_user_id [FK→Users(user_id)])
-* ClinicReview(review_id [PK, FK→Review(review_id)], target_clinic_id [FK→VetClinic(clinic_id)])
+* !UserReview(review_id [PK, FK→Review(review_id)], target_user_id [FK→Users(user_id)])
+* !ClinicReview(review_id [PK, FK→Review(review_id)], target_clinic_id [FK→!VetClinic(clinic_id)])
 {{{HEALTH RECORDS}}}
-* HealthRecord(healthrecord_id [PK], animal_id [FK→Animal(animal_id)], appointment_id [FK→Appointment(appointment_id)], type, description, date)
+* !HealthRecord(healthrecord_id [PK], animal_id [FK→Animal(animal_id)], appointment_id [FK→Appointment(appointment_id)], type, description, date)
 ----
 Business rules enforced in DDL:
@@ -35 +35 @@
 Review rating range (1–5)
 [[BR]]
-Disjoint review specialization (a Review can be either UserReview or ClinicReview, not both) via trigger
+Disjoint review specialization (a Review can be either !UserReview or !ClinicReview, not both) via trigger
 [[BR]]
 Clinic review constraint: reviewer must have at least one DONE appointment at that clinic (via trigger)
 [[BR]]
-HealthRecord consistency: its animal_id must match appointment.animal_id (via trigger)
+!HealthRecord consistency: its animal_id must match appointment.animal_id (via trigger)
 == DDL
  * [attachment:schema_creation.sql]