Relacyjny rachunek dziedzin MattyPP: Zadanie rrd Relacyjny rachunek dziedzin to jeden z języków zapytań używanych w teorii relacyjnych baz danych. Zapytania w tym języku są wyrażeniami postaci {hx1, . . . , xni | φ} gdzie φ jest formułą logiki I rzędu. Rozważmy skończone zbiory osób O, barów B i soków S oraz relacje Bywa ⊆ O×B, Lubi ⊆ O × S i Podają ⊆ B ×S informujące odpowiednio o tym jakie osoby bywają w jakich barach, jakie osoby lubią jakie soki oraz jakie bary podają jakie soki. Wtedy np. zapytanie {x | Lubi(x, malinowy) ∧ ∃b Podają(b, malinowy) ∧ Bywa(x, b)} oznacza wykaz osób, które lubią sok malinowy i bywają w jakimś barze, w którym jest on podawany. Wyraź w relacyjnym rachunku dziedzin następujące zapytania:  wykaz osób, które lubią wszyskie soki podawane we wszystkich barach, w których bywają;  wykaz osób, które bywają tylko w takich barach, w których podawane są wszyskie soki lubiane przez te osoby;  wykaz osób, które bywają tylko w takich barach, w których mogą się czegoś napić.

Artur_Z_Miasta_Neptun: Encja 1 do 1

5-latek: Czyzby nastąpił Wielki powrót