Класифікація запитів

За складністю запити поділяються на найпростіші, прості та складні. Зауважимо, що множина складних запитів може бути класифікована більш детально. Для класифікації найпростіших запитів введемо основну форму:

А (O) = V,

де А - ім'я атрибута або властивості, відносно якої формується запит, O - специфікація об'єкта запиту, V - значення, яке може набути атрибут об'єкта; замість знака "=" може бути використаний будь-який із знаків бінарних предикатів, що визначені для значень даної властивості об'єкта, наприклад: {<, >, =>,...}.

Прості запити можна отримати з найпростіших (а також і простих) за допомогою логічних зв'язок ("або", "і", "ні"). Для побудови складних типів запитів необхідне використання кванторів існування та узагальнення.

Спочатку зробимо класифікацію найпростіших запитів. Для цього використаємо основну форму A(E) Q V, де
Q = { }, A – атрибут, V –значення, Q – бінарний предикат, E – сам об’єкт, ключ.

Для прикладів використаємо таку модель: нехай є кілька кіосків, і в кожному місяці вони мають певний прибуток.

· A – номер місяця.

· E – номер кіоску.

· V – значення прибутку кіоску за певний місяць (на перетині № кіоску і № місяця).