Модели и проектирование баз данных

       

Синтаксис исчисления


. Для записи выражения РИ кортежей нужно указать области определения переменных, определить схему целевого отношения и сформулировать условия, которым должны удовлетворять кортежи его тела.



область-определения

::= RANGE OF переменная IS

                                             список-элементов-области;

выражение

::= (список-целевых-элементов) [WHERE ппф] ;

целевой-элемент

::= переменная |

                                    переменная.атрибут [AS атрибут];

ппф

::= условие | NOT ппф | условие AND ппф |

                             условие OR ппф |IF условие

THEN ппф |

                            EXISTS переменная (ппф) |

                            FOR ALL переменная (ппф) | (ппф);

условие

::= (ппф) | сравнение;

сравнение

::= символ q символ;

символ

::= переменная.атрибут | константа;

q

:: = < | > | =;

Здесь отношение, переменная, атрибут

- идентификаторы; список – список элементов, разделенных запятыми, ппф

– правильно построенная формула исчисления. Квадратные скобки показывают, что заключенные в них компоненты могут быть опущены.



Содержание раздела