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

Несмотря на то что ранее об этом не упоминалось, в определённом нами реляционном исчислении уже есть аналоги алгебраических операторов
EXTEND и SUMMARIZE, и вот почему.
. Одной из допустимых форм прототипа кортежа является параметр , компонентами которого могут быть произвольные подпараметры .
. В параметре сравниваемыми элементами могут быть произвольные подпараметры .
. Первым или единственным аргументом в параметре является подпараметр .

4.1. Примеры.

> Для каждой детали выбрать номер и общий объём поставки в штуках
(PX.P#, SUM (SPX WHERE SPX.P# = PX.P#, QTY) AS TOTQTY)
> Определить общее количество поставляемых деталей
SUM (SPX, QTY) AS GRANDTOTAL)
> Определить номера и вес в граммах всех типов деталей, вес которых превышает 10000г
(PX.P#, PX.WEIGHT * 454 AS GMWT)

WHERE PX.WEIGHT * 454 > WEIGHT
(10000)
Обратите внимание, что спецификация AS GMWT в прототипе кортежа даёт имя соответствующему атрибуту результата. Поэтому такое имя недоступно для использования в предложении WHERE и выражение PX.WEIGHT * 454 должно быть указано в двух местах.

5. Исчисление доменов.

Как указывалось в «Введении», реляционное исчисление, ориентированное на домены (или исчисление доменов), отличается от исчисления кортежей тем, что в нём вместо переменных кортежей используется переменные доменов, т.е. переменные, принимающие свои значения в пределах домена, а не отношения. С практической точки зрения большинство очевидных различий между версиями исчисления доменов и исчисления кортежей основано на том, что версия для доменов поддерживает форму параметра , который мы будем называть условием принадлежности. В общем виде условие принадлежности можно записать так.

R (пара, пара, …)

Здесь R- имя отношения, а каждый параметр пара имеет вид A: v, где
A - атрибут отношения R, а v - имя переменной домена или литерал. Проверка условия даёт значение истина тогда и только тогда, когда в текущем значении отношения R существует кортеж, имеющий указанные значения для указанных атрибутов. Например, рассмотрим результат вычисления следующего выражения.

SP (S# : S# (‘S1’), P# : P# (‘P1’) )

Он будет иметь значение истина тогда и только тогда, когда в отношении SP будет существовать кортеж со значением атрибута S#, равным
‘S1’, и значением атрибута P#, равным ‘P1’. Аналогично условие принадлежности

SP (S# : SX, P# : PX) принимает значение истина тогда и только тогда, когда в отношении SP существует кортеж со значением атрибута S#, эквивалентным текущему значению переменной домена PX (опять же, какому бы ни было).

Далее будем подразумевать существования следующих переменных доменов.

Домен

Переменная домена
S#
SX, SY, …
P#
PX, PY, …
NAME
NAMEX, NAMEY, …
COLOR
COLORX, COLORY, …

WEIGHT
WEIGHTX, WEIGHTY, …
QTY
QTYX, QTYY, …
CHAR
CITYX, CITYY, …
INTEGER
STATUSX, STATUSY, …
Ниже приведено несколько примеров выражений исчисления доменов.
SX

SX WHERE S (S# : SX)

SX WHERE S (S# : SX, CITY : ‘London’)
(SX, CITYX) WHERE S (S# : SX, CITY : ‘London’)

AND SP (S# : SX, P# : P# (‘P2’) )

(SX,PX) WHERE S (S# : SX, CITY : CITYX)

AND P (P# : PX, CITY : CITYY)

AND CITYX ? CITYY

Если говорить нестрого, первое выражение означает множество всех номеров поставщиков, второе - множество всех номеров поставщиков из
Лондона. Следующее выражение - это выраженный в терминах исчисления доменов запрос «Определить номера поставщиков и названия городов, в которых находятся поставщики детали с номером ‘P2’» (вспомните, что в этом запросе, выраженном в терминах исчисления кортежей, использовался квантор существования). И последнее выражение - это представленный в терминах исчисления доменов запрос «Найти все такие пары номеров поставщиков и номеров деталей, для которых поставщик и деталь находятся в одном городе».

5.1. Примеры.

> Найти все такие пары номеров поставщиков, в которых два поставщика находятся в одном городе
(SX AS SA, SY AS SB) WHERE EXISTS CITYZ

(S (S# : SX, CITY :
CITYZ) AND

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





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