Interpretacja w języku SQL i w Datalogu

Warto zauważyć podobieństwo między drugą z podanych interpretacji zapytań selcct-from-where a interpretacją reguł Datalogu, która została opisana w p. 4.2.4. W przypadku Datalogu rozważaliśmy wszystkie możliwe przypisania krotek z relacji do odpowiednich zmiennych w po-dzadaniach w tekście reguły. Z kolei w $QL rozważa się wszystkie możliwe przypisania krotek do zmiennych krotkowych. W obu przypadkach o dołączeniu powstających nowych krotek rozstrzyga spełnienie warunku określonego w podzadaniu arytmetycznym (części klauzuli WHERE w SQL). Postać krotki jest określona w nagłówku reguły (w klauzuli SELECT w SQL).

występują w klauzuli B ROM, obie wskazujące relację Gwiazda. Nasze wyrażenie zaczyna się zatem od następującej frazy:

Gwiazda * Gwiazda

W relacji wynikowej jest osiem atrybutów, pierwsze cztery to atry buty pierwszej kopii relacji Gwiazda, tj. nazwisko, adres, płeć oraz dataurodze-nia, pozostałe cztery to takie same atrybuty, które pochodzą z drugiej kopii tej relacji. Nazwy atrybutów w nowej relacji mogłyby zostać utworzone zgodnie ze znaną konwencją poprzedzenia nazwy atry butu synonimem nazwy relacji i kropką, ale będziemy je w tym przypadku skrótowo oznaczać A\, A_2l .... A$. A więc A] odpowiada atrybutowi Gwiazdal.nazwisko, A₅ atrybutowi Gwiazda2. nazwisko itd.

Niezgodne z intuicją konsekwencje semantyki języka SQL

Załóżmy, że R, S i T oznaczają relacje unarne (z jednym atrybutem), każda z nich ma jeden atrybut zl, a zadanie polega na określeniu tych krotek, które są zarówno w R, jak i w S lub T (lub w obu na raz). A zatem zadanie polega na określeniu wartości wyrażenia R n (S kj T). Można by pomyśleć, żc wynik tego wyrażenia jest dobrze opisany następującym zapytaniem w SQL:

SELECT R.A

FROM R, S, T

WHERE R.A = S.A OR R.A = T.A

Co się jednak stanie, gdy relacja T będzie zbiorem pustym? Ponieważ w arunek R.A - T.A nigdy nic będzie spełniony, więc można by zgodnie z intuicją dotyczącą operatora OR oczekiwać, że w wyniku zapytania powstanie zbiór R n S. A jednak, bez względu na to, który sposób interpretowania wyrażenia w SQL wybierzemy spośród sposobów opisanych wp. 5.2.4, to okaże się żc wynikowa relacja będzie zbiorem pusty m, niezależnie od tego, jak dużo wspólnych elementów występuje w relacjach R i S. Jeśli zastosujemy semantykę opisaną na rys. 5.2, to okaże się, że pętla ze zmienną relacji T wykonuje się 0 razy, ponieważ w T nie ma żadnej krotki, a więc zakres zmiennej kontrolowanej jest pusty. A zatem warunek w instrukcji if nigdy nic zostanie sprawdzony i żadna krotka nie zostanie utworzona. Podobnie dzieje się, gdy chcemy określić przypisania krotek do zmiennych krotkowych. Ponieważ nie ma co przypisać do zmiennej T, więc nie ma możliwości określić jakiegokolwiek przypisania. Na koniec, jeśli stosujemy semantykę iloczynu kartezjańskiego, to zaczynamy od policzenia iloczynu kartezjańskiego R x S x 1. a ten iloczy n jest pusty, ponieważ zbiór Tjest pusty-.