9. Założenia semantyczne podejścia stosowego

W konstrukcji języka opartego na podejściu stosowym będziemy przyjmować punkt widzenia, że zapytania są wyrażeniami języka programowania, które posiadają wszystkie cechy wyrażeń takich języków (stałe, zmienne, operatory +, -, *, /, <, = itd.) plus operatory umożliwiające pojęciową "hermetyzację" niektórych iteracji w języku programowaniu, mianowicie takich, których celem jest obsługa kolekcji. Do takich operatorów należą: selekcja, projekcja, nawigacja, złączenie, kwantyfikatory, unia i przecięcie zbiorów, iloczyn kartezjański itd. Z punktu widzenia konstrukcji języka zapytań jest kwestią drugorzędną, czy kolekcje są trwałe (są przechowywane w bazie danych) czy też są ulotne (są np. lokalnymi danymi pewnej procedury).

Podejście stosowe jest relewantne dla bardzo ogólnego modelu obiektowego oraz dla wszystkich modeli, które są jego szczególnymi przypadkami, w szczególności dla modelu relacyjnego. Na gruncie tego podejścia można wyjaśnić precyzyjnie semantykę pewnych idealizacji SQL i OQL. Generalne założenia tego podejścia są przedstawione w następujących podsekcjach.