Предыдущая страница реферата | 1  2  3  4  5  6  7  8  9  10 | Следующая страница реферата

:: = .[ AS ]

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

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

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

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

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

Замечание по терминологии. В контексте реляционного исчисления (в версии исчисления доменов или исчисления кортежей) логические выражения часто называют правильно построенными формулами (well-formed formulas –
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

Рекомендуем скачать другие рефераты по теме: реферат традиции, реферат газ.





Предыдущая страница реферата | 1  2  3  4  5  6  7  8  9  10 | Следующая страница реферата