Changes between Version 7 and Version 8 of AdvancedReports

Timestamp:

09/24/26 13:37:52 (5 days ago)

Author:

201165

Comment:

--

AdvancedReports

@@ -220 +220 @@
 //Go Green Filter//
 === Опис на барањата за податоци
-Рецепти чија секоја состојка е од растителна категорија, проверени наспроти веганската ознака. пронаоѓа рецептите во кои секоја состојка е од растително потекло. Тоа е релациско делење: рецептот се квалификува само ако бројот на неговите растителни состојки е еднаков на бројот на сите негови состојки. Една состојка од животинско потекло го дисквалификува целиот рецепт. Растителни се типовите:
-* vegetable
-* fruit
-* legume
-* nut
-* seed
-* oil
-* herb
-* spice
-* carb
-* beverage 
-* //Медот и јајцето// се од типот **other** -> дисквалификуваат
+Две релациски делења во еден прашалник, и двете напишани како NOT EXISTS во NOT EXISTS — двојната негација со која во SQL се изразува „за сите".
+* Првото делење прима рецепт само ако не постои негова состојка што не е од растителна категорија.
+* Второто го прима само ако не постои макронутриент што рецептот не го дава. 
+* Делителот на второто сам се пресметува со вгнезден EXISTS: не сите макронутриенти од каталогот, туку само оние што навистина се запишани кај некоја состојка.
+* Резултатот истовремено е и проверка на конзистентност.
+* //Медот и јајцето се од типот other, па го дисквалификуваат рецептот како што треба.//
 === SQL - приказ
 {{{
-SELECT r.name                          AS recipe,
-       u.username                      AS author,
-       COUNT(*)                        AS ingredient_count,
-       ROUND(r.kcal_sum / r.servings)  AS kcal_per_portion,
+SELECT r.name AS recipe,
+       (SELECT u.username FROM "user" u WHERE u.id = r.user_id) AS author,
+       ROUND(r.kcal_sum / r.servings) AS kcal_per_portion,
+       (SELECT COUNT(*) FROM recipe_contains_ingredient rci
+        WHERE rci.recipe_id = r.id) AS ingredients,
+       (SELECT COUNT(DISTINCT icn.nutrient_id)
+        FROM recipe_contains_ingredient rci
+        JOIN ingredient_contains_nutrient icn
+             ON icn.ingredient_id = rci.ingredient_id
+        WHERE rci.recipe_id = r.id
+          AND icn.quantity > 0
+          AND icn.nutrient_id IN (SELECT n.id FROM nutrient n
+                                  WHERE n.type = 'macro')) AS macros_supplied,
        EXISTS (SELECT 1
                FROM recipe_contains_restriction rcr
-               JOIN restriction res ON res.id = rcr.restriction_id
                WHERE rcr.recipe_id = r.id
-                 AND res.type = 'vegan')  AS tagged_vegan
+                 AND rcr.restriction_id IN (SELECT res.id FROM restriction res
+                                            WHERE res.type = 'vegan')) AS tagged_vegan
 FROM recipe r
-JOIN "user" u                        ON u.id = r.user_id
-JOIN recipe_contains_ingredient rci  ON rci.recipe_id = r.id
-JOIN ingredient i                    ON i.id = rci.ingredient_id
-WHERE i.type IN ('vegetable', 'fruit', 'legume', 'nut', 'seed',
-                 'oil', 'herb', 'spice', 'carb', 'beverage')
-GROUP BY r.id, r.name, u.username, r.kcal_sum, r.servings
-HAVING COUNT(*) = (SELECT COUNT(*)
-                   FROM recipe_contains_ingredient rci2
-                   WHERE rci2.recipe_id = r.id)
+WHERE
+  NOT EXISTS (
+      SELECT 1
+      FROM recipe_contains_ingredient rci
+      WHERE rci.recipe_id = r.id
+        AND NOT EXISTS (
+            SELECT 1
+            FROM ingredient i
+            WHERE i.id = rci.ingredient_id
+              AND i.type IN ('vegetable', 'fruit', 'legume', 'nut', 'seed',
+                             'oil', 'herb', 'spice', 'carb', 'beverage')))
+  AND NOT EXISTS (
+      SELECT 1
+      FROM nutrient n
+      WHERE n.type = 'macro'
+        AND EXISTS (SELECT 1 FROM ingredient_contains_nutrient icn0
+                    WHERE icn0.nutrient_id = n.id)
+        AND NOT EXISTS (
+            SELECT 1
+            FROM recipe_contains_ingredient rci2
+            JOIN ingredient_contains_nutrient icn
+                 ON icn.ingredient_id = rci2.ingredient_id
+            WHERE rci2.recipe_id = r.id
+              AND icn.nutrient_id = n.id
+              AND icn.quantity > 0))
 ORDER BY kcal_per_portion;
+
 }}}
 === Релациона алгебра - приказ
 {{{
-Plant ← {'vegetable', 'fruit', 'legume', 'nut', 'seed',
-          'oil', 'herb', 'spice', 'carb', 'beverage'}
-
-AnimalUse ← π_{rci.recipe_id} (
-    σ_{i.type ∉ Plant} (
-        Recipe_Contains_Ingredient ⋈_{rci.ingredient_id = i.id} Ingredient
-    )
-)
-
-PlantOnly ← π_{rci.recipe_id} (Recipe_Contains_Ingredient) − AnimalUse
-
+Plant    ← {'vegetable','fruit','legume','nut','seed','oil','herb','spice','carb','beverage'}
+AllRec   ← π_{recipe_id} (Recipe_Contains_Ingredient)
+ 
+-- division 1: recipes that use an ingredient outside Plant
+NonPlant ← π_{rci.recipe_id} (
+             σ_{i.type ∉ Plant} (
+               Recipe_Contains_Ingredient ⋈_{rci.ingredient_id = i.id} Ingredient))
+ 
+-- the divisor: macronutrients that are recorded for at least one ingredient
+Macros   ← π_{n.id} (σ_{n.type = 'macro'} (Nutrient) ⋉ Ingredient_Contains_Nutrient)
+ 
+-- what each recipe actually supplies
+Supplied ← π_{rci.recipe_id, icn.nutrient_id} (
+             σ_{icn.quantity > 0} (
+               Recipe_Contains_Ingredient
+                 ⋈_{rci.ingredient_id = icn.ingredient_id}
+               Ingredient_Contains_Nutrient))
+ 
+-- division 2, written as a difference: recipes missing at least one macro
+Missing  ← π_{recipe_id} ( (AllRec × Macros) − Supplied )
+ 
+Result   ← AllRec − NonPlant − Missing
+ 
 τ_{kcal_per_portion} (
-  γ_{r.id, r.name, u.username; COUNT(*) → ingredient_count} (
-    (PlantOnly ⋈_{recipe_id = r.id} Recipe)
-      ⋈_{r.user_id = u.id} User
-      ⋈_{r.id = rci.recipe_id} Recipe_Contains_Ingredient
+  π_{name, username → author, kcal_sum/servings → kcal_per_portion,
+     ingredients, macros_supplied, tagged_vegan} (
+    Result ⋈_{recipe_id = r.id} (Recipe ⋈_{r.user_id = u.id} User)
   )
 )
+
 }}}