Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Скачиваний:
52
Добавлен:
26.04.2015
Размер:
166.91 Кб
Скачать

8. Целостная часть реляционной модели.

В целостной части РМД фиксируются два базовых требования целостности, которые должны поддерживаться в любой реляционной СУБД. Первое - требование целостности сущностей: любое отношение должно обладать первичным ключом. Второе - требование целостности по ссылкам. Внешним ключом называется атрибут такого рода, когда любому кортежу отношения 1 должно соответствовать значение атрибута 2 в некотором кортеже отношения 2, поскольку его значения однозначно характеризуют сущности, представленные кортежами некоторого другого отношения (т.е. задают значения их первичного ключа). Требование целостности по ссылкам, или требование внешнего ключа состоит в том, что для каждого значения внешнего ключа, появляющегося в ссылающемся отношен должен найтись кортеж с таким же значением первичного ключа, либо значение внешнего ключа должно быть неопределенным (т.е. ни на что не указывать). Для соблюдения целостности сущности достаточно гарантировать отсутствие в любом отношении кортежей с одним и тем же значением первичного ключа. Три подхода для поддержания целостности по ссылкам: 1 - запрещается производить удаление кортежа, на который существуют ссылки (т.е. сначала нужно либо удалить ссылающиеся кортежи, либо соответствующим: образом изменить значения их внешнего ключа). 2 - при удалении Кортежа, на который имеются ссылки, во всех ссылающихся кортежах значение внешнего ключа автоматически становится неопределенным. 3 (каскадное удаление) - при удалении кортежа из отношения, на которое ведет ссылка, из ссылающегося отношения автоматически удаляются все ссылающиеся кортежи.

26. Системы бд, основ на правилах

В подобных системах бд правила играют существенно более важную роль, чем в традиционных реляц сис-мах. Экстенсиональная и интенсиональная части бд. В бд реально хранится три различных вида информации. 1 это инф, харак стр-ры пользовательских данных (описание структурной части схемы бд). Такая инф в случае РБД сохран в системных отношениях-каталогах и содержит главным образом имена базовых отношений и имена и типы данных их атрибутов. 2 это наборы кортежей пользовательских данных, сохраняемых в опред пользователями отношениях. 3 это правила, опред ограничения целостности бд, триггеры бд и представляемые (виртуальные) отношения. В реляц системах правила сохраняются в системных таблицах-каталогах, хотя плоские таблицы далеко не идеально подходят для этой цели. Инф 1 и 2 вида в совокупности явно описывает объекты (сущности) реального мира, моделируемые в бд. Это явные факты, предоставленные пользователями для хранения в БД. Эту часть бд принято наз экстенсиональной. Инф 3 вида служит для руководства СУБД при выполнении различного рода операций, задаваемых пользователями. Эту часть бд принято наз интенсиональной; она содержит инф, характер семантику предметной области. В РБД наиболее важное значение имеет экстенсиональная часть, а интенсиональная часть играет в основном вспомогательную роль. В системах бд, основ на правилах, эти две части как минимум равноправны. Активные бд. БД называется активной, если СУБД по отношению к ней выполняет не только те действия, кот явно указывает пользователь, но и доп действия в соответствии с правилами, заложенными в саму БД. Дедуктивные бд. Дедуктивная БД состоит из двух частей: экстенциональной, содержащей факты, и интенциональной, содержащей правила для логического вывода новых фактов на основе экстенциональной части и запроса пользователя. Осн отличием реальной дедуктивной СУБД от реляц явл то, что и правила интенциональной части БД, и запросы пользователей могут содержать рекурсию. возможность определения рекурсивных правил и запросов дает возможность простого решения в дедуктивных базах данных проблем, кот вызывают большие проблемы в реляционных системах. Именно возможность рекурсии делает реализацию дедуктивной СУБД очень сложной и во многих случаях неразрешимой эффективно проблемой.

Соседние файлы в папке Подмога_БД_Лапшин