Changes between Version 15 and Version 16 of ReportsProcedures

Timestamp:

09/26/25 19:34:24 (3 weeks ago)

Author:

223075

Comment:

--

ReportsProcedures

@@ -149 +149 @@
 Датотека: backend/proofs/class_bookings_explain_forced.json
 
-Индекс врз Class(date,start_time) → idx_class_date_time:
+Индекс врз Class(date,start_time): idx_class_date_time:
 {{{json
 {
@@ -160 +160 @@
 }}}
 
-Индекс врз User_Booked_Class(class_id) → idx_ubc_class:
+Индекс врз User_Booked_Class(class_id): idx_ubc_class:
 {{{json
 {
@@ -187 +187 @@
 Class after delete (seats should increase by 1): { class_id: '7', capacity: 2, seats_available: 1 }
 Proof finished.
-Saved views snapshot -> proofs/views_snapshot.json
-Saved transaction proof -> proofs/transactions_proof.json
+Saved views snapshot in proofs/views_snapshot.json
+Saved transaction proof in proofs/transactions_proof.json
 }}}
 
@@ -194 +194 @@
 Повикот book_class() се извршува во транскација. BEFORE INSERT тригерот блокира преполнување (ако нема слободни места, CLASS_FULL), а AFTER INSERT/DELETE тригерите го одржуваат seats_available. Излезот погоре докажува: успешна резервација, потоа две одбиени резервации (полн час), и на крај бришење што ја зголемува променливата seats_available за +1.
 
-Напомена: Сите views, тригери, функцијии и индекси се применети од backend/sql/ и се повторно-извршливи. Доказите се архивирани во backend/proofs/*.json
+Сите views, тригери, функцијии и индекси се применети од backend/sql/ и се повторно-извршливи. Доказите се архивирани во backend/proofs/*.json