Changes between Version 14 and Version 15 of ReportsProcedures
- Timestamp:
- 09/26/25 19:32:10 (3 weeks ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
ReportsProcedures
v14 v15 36 36 }}} 37 37 38 Релациска алгебра (информативно):38 Релациска алгебра: 39 39 {{{ 40 40 Π_{user_id,username,email,spend_packages,spend_merch,total_spend} … … 46 46 }}} 47 47 48 Ре ални резултати (генерирани со npm run db:reports, фајл: backend/proofs/top_spenders.json):48 Резултати (генерирани со npm run db:reports, датотека: backend/proofs/top_spenders.json): 49 49 {{{json 50 50 [ … … 77 77 }}} 78 78 79 Релациска алгебра (информативно):79 Релациска алгебра: 80 80 {{{ 81 81 γ_{class_id; COUNT(user_id)→booked}(Class ⟕ User_Booked_Class) … … 84 84 }}} 85 85 86 Ре ални резултати (фајл: backend/proofs/class_utilization.json):86 Резултати (датотека: backend/proofs/class_utilization.json): 87 87 {{{json 88 88 [ … … 94 94 95 95 == 3) Популарност на тренинзи по месец == 96 Цел: По месец, броиме уникатни корисници кои резервирале часови што содржат даден тренинг; даваме месечен ранг.96 Цел: По месец, броиме уникатни корисници кои резервирале часови што содржат даден тренинг; одредуваме месечен ранг. 97 97 Користен поглед: vw_training_pop_monthly 98 98 … … 106 106 }}} 107 107 108 Релациска алгебра (информативно):108 Релациска алгебра: 109 109 {{{ 110 110 γ_{training_id,month; COUNT(DISTINCT user_id)→num_bookings} … … 112 112 }}} 113 113 114 Ре ални резултати (фајл: backend/proofs/training_pop_monthly.json):114 Резултати (датотека: backend/proofs/training_pop_monthly.json): 115 115 {{{json 116 116 [ … … 127 127 npm run db:explain 128 128 }}} 129 Фајлови:129 Датотеки: 130 130 131 131 backend/proofs/events_explain_forced.json … … 134 134 135 135 === A) Настани по датум/време – составен индекс (date,time) === 136 Фајл: backend/proofs/events_explain_forced.json136 Датотека: backend/proofs/events_explain_forced.json 137 137 Клучен извадок што докажува Index Scan преку idx_event_date_time: 138 138 {{{json … … 147 147 148 148 === B) Резервации по час – два индекса === 149 Фајл: backend/proofs/class_bookings_explain_forced.json149 Датотека: backend/proofs/class_bookings_explain_forced.json 150 150 151 151 Индекс врз Class(date,start_time) → idx_class_date_time: … … 176 176 npm run db:proofs 177 177 }}} 178 Конзолен излез (реален):178 Конзолен излез: 179 179 {{{ 180 180 === PROOF: transactions + triggers ===
