Синтаксис исчисления
. Для записи выражения РИ кортежей нужно указать области определения переменных, определить схему целевого отношения и сформулировать условия, которым должны удовлетворять кортежи его тела.
| область-определения
::= RANGE OF переменная IS список-элементов-области; | |
| выражение
::= (список-целевых-элементов) [WHERE ппф] ; | |
| целевой-элемент
::= переменная | переменная.атрибут [AS атрибут]; | |
| ппф
::= условие | NOT ппф | условие AND ппф | условие OR ппф |IF условие THEN ппф | EXISTS переменная (ппф) | FOR ALL переменная (ппф) | (ппф); | |
| условие
::= (ппф) | сравнение; | |
| сравнение
::= символ q символ; | |
| символ
::= переменная.атрибут | константа; | |
| q
:: = < | > | =; |
Здесь отношение, переменная, атрибут
- идентификаторы; список – список элементов, разделенных запятыми, ппф
– правильно построенная формула исчисления. Квадратные скобки показывают, что заключенные в них компоненты могут быть опущены.
