ВУЗ:
Составители:
88
Однако этим роль интерпретирующего домена не ограничивается. Су-
ществует возможность задать ограничение, определяющее допустимые опера-
ции над интерпретирующим доменом, например, указать, что значения атрибута
Возраст можно только складывать, а значения атрибута Скорость складывать и
вычитать.
Применяются также агрегатные ограничения вида «Среднее по всем
значениям должно быть меньше А» или «Сумма
всех значений не может пре-
вышать В» и т.п. Для такой спецификации используются средства исчисления
предикатов. Контроль за соблюдением агрегатных ограничений обычно суще-
ственно более трудоемок, так как может быть связан с многократным доступом
к БД. Например, чтобы проверить, не нарушит ли включение данных о новом
служащем ограничение на среднее
значение заработной платы, может потребо-
ваться вычисление этого среднего, а проверка возможности нарушения допус-
тимой суммы всех значений заработной платы служащих, может потребовать
вычисление этой суммы.
Ограничения на отношениях: сущностях и связях. Естественно, что ог-
раничения задаются не только для атрибутов, но и для типов сущностей и свя-
зей. Например,
может быть ограничено число служащих, которые работают в
определенном отделе. Важным классом таких ограничений, обладающим доста-
точной общностью, является класс ограничений, задаваемых на отображениях
между атрибутами и/или типами сущности.
Отношение определяет отображение между множествами атрибутов и
является подмножеством их декартова произведения. При отсутствии ограниче-
ний любое такое подмножество есть достоверное
расширение отношения. Свя-
зав с отношением некоторую семантику, необходимо ограничить множество
возможных расширений.
Без потери общности будем рассматривать бинарное отношение R
множеств S
1
и S
2
. Оно определяет два отображения R: S
1
→S
2
и R
-1
: S
2
→S
1
, каж-
дое из которых является обратным по отношению к другому. Обратимся к ха-
рактеристикам этих отображений и, прежде всего, к таким из них, как карди-
нальные числа. Применительно к отображению они характеризуют число эле-
ментов S
1
, связанных с элементом S
2
, и наоборот. Для каждого отображения
указывается минимальное и максимальное кардинальные числа.
Если на отображения не наложено никаких ограничений, то считается,
что минимальное и максимальное кардинальные числа не определены, т.е.
R(S
1
(0, ∞) : S
2
(0, ∞)). Здесь S
1
(0, ∞) означает, что минимальное и максимальное
кардинальные числа отображения S
2
в S
1
равны 0 и ∞ соответственно. Иными
словами, любой элемент в S
2
может быть связан минимум с 0 и максимум с ∞
элементов в S
1
. Аналогичным образом интерпретируется S
2
(0, ∞). В моделиро-
вании данных такое отображение общего вида называют отображением «многие
ко многим».
Наложив те или иные ограничения на минимальное и максимальное
кардинальные числа, получим различные типы отображений. Рассмотрим, на-
Страницы
- « первая
- ‹ предыдущая
- …
- 86
- 87
- 88
- 89
- 90
- …
- следующая ›
- последняя »
