ВУЗ:
Составители:
85
Диапазон возможностей внутренних ограничений весьма узок. Модели
данных на их основе обычно не полностью согласуются с концепцией семанти-
ческого описания реального мира. Для расширения возможностей поддержания
целостности данных в некоторых моделях данных предусмотрен второй
вид ограничений целостности – явные ограничения.
Существует и третий вид ограничений целостности –
ограничения, выводимые на основе внутренних
и явных ограничений. Такие
ограничения называются подразумеваемыми. Например, в иерархической БД
каждый тип сегмента связан не более чем с одним родительским сегментом. Из
этого следует, что каждый экземпляр сегмента связан не более чем с одним эк-
земпляром исходного сегмента. Здесь первое из приведенных ограничений яв-
ляется внутренним, а второе подразумеваемым.
Распределение
конкретных ограничений целостности по категориям
внутренних и явных зависит от модели данных. В общем случае: чем больше
ограничен диапазон структур данных в модели, тем большее число видов внут-
ренних ограничений она содержит и, тем меньшее число видов явных ограни-
чении необходимо задавать.
Анализ существа ограничений целесообразно проводить для явных ог-
раничений, поскольку их спецификация обладает автономией по отношению к
структурам данных и реализуется средствами языка описания ограничений.
Различают спецификации статических и динамических ограничений,
которым соответствуют два вида средств спецификации. Статические специ-
фикации выражают правила, которые определяют допустимые состояния БД. В
этом случае обычно используются средства исчисления предикатов.
Динамические спецификации определяют допустимые
переходы БД из
одного состояния в другое. Эти спецификации операционно ориентированы и
рассматриваются обычно в связке с самими операциями.
Верификация ограничений выполняется с учетом требований непроти-
воречивости, удовлетворяемости и адекватности существующим знаниям о ре-
альном мире.
Рассмотрим некоторое явное ограничение С
i
, указанное в схеме S, и со-
стояние БД DBS
k
. Это ограничение будет:
1) правильно построено, если оно соответствует синтаксическим пра-
вилам специфицирования ограничений;
2) удовлетворяемо состоянием БД DBS
k
, если оно истинно для DBS
k
;
3) удовлетворяемо, если существует некоторое состояние БД DBS
k
,
удовлетворяющее С
i
;
4) недостоверно, если никакое состояние БД не удовлетворяет С
i
;
5) логическим следствием ограничений С
1
, ..., С
n
(т.е. избыточным ог-
раничением), если С
i
, удовлетворяют все состояния БД, которые удовлетворяют
С
1
, ..., С
n
;
6) эквивалентно С
j
, если С
i
и С
j
логические следствия друг друга.
Страницы
- « первая
- ‹ предыдущая
- …
- 83
- 84
- 85
- 86
- 87
- …
- следующая ›
- последняя »
