Twierdzenie Codda Mówi ono o tym, że rachunek relacyjny i algebra relacyjna są równoważne logicznie i pod względem siły ekspresji, zatem dla każdego wyrażenia w rachunku relacyjnym istnieje równoważne wyrażanie algebraiczne i vice versa. Oznacza to, że można zadać zapytanie do bazy danych w jednym języku tylko wtedy, gdy również można je zadać w drugim z nich.
Relacyjny rachunek krotek (RRK) Stanowi on teoretyczną podstawę języka SQL. Jest językiem rachunku predykatów pierwszego rzędu i można go wykorzystywać do formułowania zapytań do relacyjnej bazy danych. Wyraża zapytania za pomocą zmiennych i formuł.
1) Niech istnieje relacja + R
2) Zmienna posiada zakres dla wszystkich krotek relacji
3) Podstawowa forma: gdzie – zmienna, – atrybut, – warunek.
Przykład 1 Niech istnieje relacja
Student (id, imię, nazwisko, płeć,)
Zapytanie: Znajdź id oraz imiona wszystkich studentek.
t.id, t.imię – szukane atrybuty,
Student(t) – Przez ‘t’ oznaczamy domenę relacji Student, warunek konieczny
t.plec – warunek
Przykład 2 z użyciem kwantyfikatorów Niech istnieją dwie relacje
Student (sid, imię, nazwisko, płeć, wid)
Wydział (wid, nazwa)
Zapytanie: Znajdź imiona i nazwiska wszystkich studentów, którzy studiują na wydziale Matematyki