Wstęp

Język SBQL jest sformalizowanym obiektowym językiem zapytań w stylu SQL lub OQL. W szczególności, posiada semantyczne odpowiedniki podstawowych konstrukcji tych języków. Obejmuje wiele modeli składu, w szczególności modele M0 - M3 opisane poprzednio, o których możemy twierdzić, że są bardziej uniwersalne niż koncepcje obiektowości spotykane dotąd w literaturze.

SBQL będziemy uważać za pewien wzorzec teoretyczny, podobny do algebry relacji stanowiącej podstawę wielu rozważań dotyczących modelu relacyjnego. Bez wątpliwości, SBQL będzie jednak znacznie bardziej koncepcyjnie uniwersalny i konsekwentny niż dowolna tego rodzaju algebra, włączając tzw. algebry obiektowe. Będziemy starali się wykazać, że:

W odróżnieniu od relacyjnych i obiektowych algebr, rachunków, logik i innych tego rodzaju koncepcji (zdaniem ich autorów, odpowiednich do języków zapytań), definicja SBQL bazuje na pojęciu stanu, którego składnikami są skład obiektów oraz ENVS. Brak pojęcia stanu w ww. koncepcjach z góry skazuje je na ograniczenia i wady specyfikacji semantyki.