Mając dwie relacje połączone ze sobą, trzeba skorzystać z pomocy kwantyfikatorów do zapisania warunku.
– Takie [...], że [...]
– Zastosowane dla wszystkich
s.imie, s.nazwisko – szukane atrybuty,
Student(s), Wydział(w) – oznaczenia domen relacji, warunki konieczne
w.nazwa, s.wid = w.wid – warunki
Relacyjny rachunek dziedzin (RRD) Stanowi on teoretyczną podstawę języka QBE (Query by Example). W tym rachunku operacje prowadzone są na dziedzinach atrybutów.
Podstawowa forma: gdzie
x – zmienna dziedziny,
θ – warunek.
Przykład 1 Niech istnieje relacja
Student (id, imię, nazwisko, płeć,)
Zapytanie: Znajdź id oraz imiona wszystkich studentek.
0) Na początek wprowadźmy zmienne dziedzin, takie, że:
id = a,
imię = b,
nazwisko = c,
płeć = d.
1) Pierwsza wersja: gdzie
a,b – szukane,
– kwantyfikator + zmienne, których nie szukamy,
Student(abcd) – deklaracja zmiennych do danej relacji Student, warunek konieczny
d = 'kobieta' – warunek
Jako iż nie trzeba dodawać wszystkich kwantyfikatorów ze zmiennymi, których nie szukamy, wystarczy ograniczyć się do tych, które trzeba użyć w warunku:
2) Druga wersja:
Można również podać daną zmienną wprost:
3) Trzecia wersja:
Przykład 2 Niech istnieją dwie relacje
Student (sid, imię, nazwisko, płeć, wid)
Wydział (wid, nazwa)