Свободные и связанные переменные кортежей

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

Синтаксис

Исчисление кортежей

Предлагается использовать следующий синтаксис:

<реляционное выражение>::= RELATION { <список выражений кортежей> }

| <имя переменной-отношения>

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

| (<реляционное выражение>)

Определение реляционного выражения осталось прежним, но <реляционная операция> имеет иное определение.

<определение переменной кортежа>::=

RANGEVAR <имя переменной кортежа>

RANGES OVER <список реляционных выражений>;

<Имя переменной кортежа> может использоваться в следующих случаях:

§ Перед точкой и последующим уточнением в параметре <ссылка на атрибут кортежа>;

§ Сразу после квантора в параметре <логическое выражение с квантором>;

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

§ Как параметр <прототип кортежа> или как подпараметр <выражение> в параметре <прототип кортежа>.

<ссылка на атрибут кортежа>::=

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

[AS <имя атрибута>]

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

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

§ Как параметр <прототип кортежа> или как подпараметр <выражение> в параметре <прототип кортежа>.

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

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

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

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

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

<реляционная операция>::= <прототип кортежа>

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

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

Приведем примеры определения переменных кортежей для БД поставщиков и деталей:

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

(SX WHERE SX.CITY = ‘Москва’),

(SX WHERE EXISTS SPX (SPX.S# = SX.S# AND

SPX.P# = ‘P1’))

Переменная кортежа SU определенная на объединении множества поставщиков, находящихся в Москве, и множества кортежей поставщиков детали с номером ‘P1’. Конечно, отношения при их объединении должны быть совместимы по типу.

Замечание. Переменные кортежей не являются переменными в обычном смысле, а скорее представляют некоторый аналог местодержателям, или параметрам, предикатов, а, следовательно, являются переменными в логическом смысле.

Каждая ссылка на переменную кортежа является либо свободной, либо связанной.

Пусть V – переменная кортежа, тогда:

§ Ссылки на переменную V в логических выражениях типа NOT p свободны или связаны в пределах этого выражения в зависимости от того, свободны они или нет в формуле p. Ссылки на переменную V в логических выражениях типа (p AND q) и (p OR q) свободны или связаны в зависимости от того, свободны ли они в выражениях p и q.

§ Ссылки на переменную V, которые свободны в логическом выражении p, связаны в логических выражениях типа EXISTS V(p) и FORALL V(p) в соответствии с тем, свободны ли они в формуле p

Пример 8.2. Приведем некоторые примеры свободных и связанных переменных кортежей:

Примеры свободных переменных кортежей:

SX.S# = ’П1’

SX.S# = SPX.S#

NOT (SX.CITY = ’Москва’)

SX.S#=SPX.S# AND SPX.P# <> PX.P#

PX.COLOR = ‘Красный’ OR PX.CITY = ’Москва’

Примеры связанных переменных кортежей:

EXISTS SPX (SPX.S#=SX.S# AND SPX.P#=’P2’)

FORALL PX (PX.COLOR=’Красный’)

Дата добавления: 2015-05-09