Введение в информационные системы. Брюхомицкий Ю.А. - 86 стр.

UptoLike

ВУЗ: 

ТТИ ЮФУ | Таганрог

Составители: 

Рубрика: 

86
Состояние БД удовлетворяет схеме S, если это состояние удовлетворя-
ет всем ее ограничениям. Схема S удовлетворяема, если существует некоторое
состояние БД, удовлетворяющее ей. Схема S противоречива, если никакое со-
стояние БД ей не удовлетворяет. Состояние БД DBS
k
непротиворечиво, если оно
удовлетворяет всем ограничениям.
Введение ограничений, очевидно, должно обеспечиваться соответст-
вующими механизмами их контроля. Внутренние ограничения целостности
тесно связаны со структурами БД, и тщательно подобранное множество опера-
ций над данными хорошо согласуется с ними. Поэтому контроль за соблюдени-
ем внутренних ограничений не вызывает трудностей, поскольку нарушение ог-
раничения
в конечном итоге выглядит как нарушение корректности структуры.
Обеспечение контроля явных ограничений – серьезная проблема при реализа-
ции. Явные ограничения не имеют органичных связей со структурой данных, и
контроль за их соблюдением обычно связан с проверкой значений множества
данных.
Рассматриваемые далее типы ограничений наиболее распространены в
моделях данных. Все эти ограничения будут
рассматриваться как явные, хотя
многие из них в ряде моделей данных являются внутренними.
Ограничения на множествах: доменах и атрибутах. Значения атрибутов
черпаются из доменов, которые могут быть представлены как множества.
Вследствие этого атрибуты наследуют и некоторые ограничения, определяемые
условиями принадлежности множеству (домену). Пусть атрибут Возраст опре-
делен на домене, который
является множеством целых чисел от 16 до 65. Этот
атрибут может быть компонентом типа сущности СЛУЖАЩИЙ. В этом случае
ограничение на возраст служащих компании представлено условием принад-
лежности к домену.
Такой способ представления ограничений не всегда эффективен. На-
пример, на домене целых чисел могут быть определены атрибуты Возраст и
Скорость. Сравнение этих атрибутов
не имеет смысла. Однако, если ограниче-
ния целостности сводятся только к условию принадлежности к домену, показать
это невозможно. В моделировании данных и управлении БД существует необ-
ходимость дифференциации атрибутов, определенных на одном и том же доме-
не. Это достигается интерпретацией домена, т.е. приписыванием ему некоторой
семантики.
Для человека, обладающего
определенными знаниями о реальном мире,
носителями семантики являются уже сами имена атрибутов, и ему безусловно
понятно, что атрибуты Возраст и Скорость несравнимы. Однако у компьютера
нет таких априорных знаний, а различие имен атрибутов не является решающим
фактором, так как семантически идентичные атрибуты могут иметь различные
имена (например, Скорость и Быстрота).
Обычный
путь придания атрибутам семантики – применение техники
абстракции. Для обеспечения необходимой дифференциации атрибутов между
ними доменом, на котором они определены, помещается дополнительный уро-

Страницы