| 152 | | R′1 ( user_id, ingredient_id, ingredient_name, ingr_description, energy, kcal, ingr_type, nutrient_id, nutr_description, rdi_quantity, unit, nutr_type, restriction_id, restr_description, restr_type, recipe_id, recipe_name, guide, kcal_sum, servings, post_id, media, media_type, media_name, is_private, is_favourite, status, post_created_at, comment_id, comment_text, comment_created_at, list_id, list_date_time, list_notes, is_bought, list_kcal, planner_id, planner_date_time, planner_notes, planner_kcal, is_consumed, bio_id, bio_date, weight, height, age, muscle_fat_ratio, ingredient_quantity, nutrient_amount, buy_quantity ) |
| | 152 | R′1 ( user_id, ingredient_id, ingredient_name, ingr_description, energy, kcal, ingr_type, nutrient_id, nutr_description, |
| | 153 | rdi_quantity, unit, nutr_type, restriction_id, restr_description, restr_type, recipe_id, recipe_name, guide, kcal_sum, servings, |
| | 154 | post_id, media, media_type, media_name, is_private, is_favourite, status, post_created_at, comment_id, comment_text, |
| | 155 | comment_created_at, list_id, list_date_time, list_notes, is_bought, list_kcal, planner_id, planner_date_time, planner_notes, |
| | 156 | planner_kcal, is_consumed, bio_id, bio_date, weight, height, age, muscle_fat_ratio, ingredient_quantity, nutrient_amount, |
| | 157 | buy_quantity ) |
| 168 | | Остаточна релација: |
| 169 | | {{{ |
| 170 | | R′2 ( user_id, ingredient_id, nutrient_id, nutr_description, rdi_quantity, unit, nutr_type, restriction_id, restr_description, restr_type, recipe_id, recipe_name, guide, kcal_sum, servings, post_id, media, media_type, media_name, is_private, is_favourite, status, post_created_at, comment_id, comment_text, comment_created_at, list_id, list_date_time, list_notes, is_bought, list_kcal, planner_id, planner_date_time, planner_notes, planner_kcal, is_consumed, bio_id, bio_date, weight, height, age, muscle_fat_ratio, ingredient_quantity, nutrient_amount, buy_quantity ) |
| 171 | | }}} |
| | 173 | |
| | 174 | Остаточна релација: |
| | 175 | {{{ |
| | 176 | R′2 ( user_id, ingredient_id, nutrient_id, nutr_description, rdi_quantity, unit, nutr_type, restriction_id, restr_description, |
| | 177 | restr_type, recipe_id, recipe_name, guide, kcal_sum, servings, post_id, media, media_type, media_name, is_private, is_favourite, |
| | 178 | status, post_created_at, comment_id, comment_text, comment_created_at, list_id, list_date_time, list_notes, is_bought, list_kcal, |
| | 179 | planner_id, planner_date_time, planner_notes, planner_kcal, is_consumed, bio_id, bio_date, weight, height, age, muscle_fat_ratio, |
| | 180 | ingredient_quantity, nutrient_amount, buy_quantity ) |
| | 181 | }}} |
| | 182 | |
| | 215 | Остаточна релација: |
| | 216 | |
| | 217 | {{{ |
| | 218 | R′4 ( user_id, ingredient_id, nutrient_id, restriction_id, recipe_id, recipe_name, guide, kcal_sum, servings, post_id, media, |
| | 219 | media_type, media_name, is_private, is_favourite, status, post_created_at, comment_id, comment_text, comment_created_at, list_id, |
| | 220 | list_date_time, list_notes, is_bought, list_kcal, planner_id, planner_date_time, planner_notes, planner_kcal, is_consumed, |
| | 221 | bio_id, bio_date, weight, height, age, muscle_fat_ratio, ingredient_quantity, nutrient_amount, buy_quantity ) |
| | 222 | }}} |
| | 223 | |
| | 224 | * lossless тест: R4 ∩ R′4 = {restriction_id}, а {restriction_id} → R4 |
| | 225 | |
| | 234 | Остаточна релација: |
| | 235 | |
| | 236 | {{{ |
| | 237 | R′5 ( user_id, ingredient_id, nutrient_id, restriction_id, recipe_id, post_id, media, media_type, media_name, is_private, |
| | 238 | is_favourite, status, post_created_at, comment_id, comment_text, comment_created_at, list_id, list_date_time, list_notes, |
| | 239 | is_bought, list_kcal, planner_id, planner_date_time, planner_notes, planner_kcal, is_consumed, bio_id, bio_date, weight, height, |
| | 240 | age, muscle_fat_ratio, ingredient_quantity, nutrient_amount, buy_quantity ) |
| | 241 | }}} |
| | 242 | |
| | 243 | * lossless тест: R5 ∩ R′5 = {recipe_id, user_id}, а {recipe_id} → R5. |
| | 244 | //Заедничкото множество е поширако од клучот затоа што надворешните клучеви на R5 остануваат во R′ за надмножество на детерминанта и понатаму е детерминанта.// |
| | 256 | Остаточна релација: |
| | 257 | {{{ |
| | 258 | R′6 ( user_id, ingredient_id, nutrient_id, restriction_id, recipe_id, post_id, comment_id, comment_text, comment_created_at, |
| | 259 | list_id, list_date_time, list_notes, is_bought, list_kcal, planner_id, planner_date_time, planner_notes, planner_kcal, |
| | 260 | is_consumed, bio_id, bio_date, weight, height, age, muscle_fat_ratio, ingredient_quantity, nutrient_amount, buy_quantity ) |
| | 261 | }}} |
| | 262 | |
| | 263 | * lossless тест: R6 ∩ R′6 = {post_id, user_id, recipe_id}, а {post_id} → R6 |
| | 264 | //Заедничкото множество е поширако од клучот затоа што надворешните клучеви на R6 остануваат во R′ за надмножество на детерминанта и понатаму е детерминанта.// |
| | 265 | |
| | 277 | Остаточна релација: |
| | 278 | |
| | 279 | {{{ |
| | 280 | R′7 ( user_id, ingredient_id, nutrient_id, restriction_id, recipe_id, post_id, comment_id, list_id, list_date_time, list_notes, |
| | 281 | is_bought, list_kcal, planner_id, planner_date_time, planner_notes, planner_kcal, is_consumed, bio_id, bio_date, weight, height, |
| | 282 | age, muscle_fat_ratio, ingredient_quantity, nutrient_amount, buy_quantity ) |
| | 283 | }}} |
| | 284 | |
| | 285 | * lossless тест: R7 ∩ R′7 = {comment_id, post_id, user_id}, а {comment_id} → R7 |
| | 286 | //Заедничкото множество е поширако од клучот затоа што надворешните клучеви на R7 остануваат во R′ за надмножество на детерминанта и понатаму е детерминанта.// |
| | 287 | |