Реферат: Реляционное исчисление

:: = <имя переменной кортежа>.<ссылка на атрибут>[ AS<имя атрибута>]

Параметр <ссылка на атрибут кортежа > может использоваться как параметр < выражение>, но только в определенном контексте, а именно:

- как операнд параметра <логическое выражение >;

- как параметр <прототип кортежа > или как (операнд) подпараметр <выражение> в параметре <прототип кортежа>.

< логическое выражение >

:: = … все обычные возможности вместе с:

|<логическое выражение с квантором>

Ссылки на переменные кортежей в значении параметра < логическое выражение > могут быть свободными в пределах этого параметра тогда и только тогда, когда выполнено два следующих условия.

- Параметр < логическое выражение> расположен непосредственно после параметра < реляционная операция> (т.е. параметр < логическое выражение > следует сразу за ключевым словом WHERE.).

- Ссылка (обязательно свободная) именно на эту переменную кортежа непосредственно присутствуют в значении параметра <прототип кортежа>, непосредственно содержащегося в том же выражении <реляционная операция>(т.е. параметр <прототип кортежа> располагается непосредственно перед ключевым словом WHERE).

Замечание по терминологии . В контексте реляционного исчисления (в версии исчисления доменов или исчисления кортежей) логические выражения часто называют правильно построенными формулами (well-formedformulas – WFF, что произносится как « вэфф»). Далее мы также будем часто пользоваться этой терминологией.

< логическое выражение с квантором>

:: = EXISTS < имя переменной кортежа >(< логическое выражение >)

| FORALL <имя переменной кортежа > (< логическое выражение >)

< реляционная операция >

:: = < прототип кортежа > [ WHERE < логическое выражение >]

В реляционной алгебре параметр < реляционная операция > представлял собой одну из форм параметра <реляционное выражение>, однако здесь он определяется иначе. Другие формы параметра < реляционное выражение > (в основном, имена переменных – отношений и обращение к операторам выбора) допустимы, как и ранее.

< прототип кортежа >

:: = < выражение кортежа>

Все ссылки на переменные кортежа, помещенные непосредственно в значение параметра <прототип кортежа>, должны быть свободными в пределах данного параметра < прототип кортежа>.

Замечание . Прототип кортежа – термин удачный, но не стандартный.

2.2. Переменные кортежей.

Приведём несколько примеров определения переменных кортежей (выраженных в контексте базы данных поставщиков и деталей).

RANGEVAR SX RANGES OVER S;

RANGEVAR SY RANGES OVER S;

RANGEVAR SPX RANGES OVER SP;

RANGEVAR SPY RANGES OVER SP;

RANGEVAR PX RANGES OVER P;

RANGEVAR SU RANGES OVER