 |
Что определяют аксиомы Армстронга? Напишите эти аксиомы и их названия
|
|
|
|
Преимущества и недостатки иерархической модели данных.
Преимущества:
· простота понимания;
· простота оценки операционных характеристик;
Недостатки:
· отношения М: М могут быть реализованы только искусственно;
· могут быть избыточные данные;
· усложняются операции включения и удаления;
· удаление исходных объектов ведет к удалению порожденных объектов;
· процедурный характер манипулирования данными;
· доступ к любому порожденному узлу возможен только через корневой узел;
· сильная зависимость логической и физической БД;
· сильно ограниченный набор структур запроса.
В чем заключается целостность сущности? Целостность ссылок
В целостной части реляционной модели данных фиксируются два базовых требования целостности, которые должны поддерживаться в любой реляционной СУБД. Первое требование называется требованием целостности сущностей. Объекту или сущности реального мира в реляционных БД соответствуют кортежи отношений. Конкретно требование состоит в том, что любой кортеж любого отношения отличим от любого другого кортежа этого отношения, т.е. другими словами, любое отношение должно обладать первичным ключом. Как мы видели в предыдущем разделе, это требование автоматически удовлетворяется, если в системе не нарушаются базовые свойства отношений.
Второе требование называется требованием целостности по ссылкам и является несколько более сложным. Очевидно, что при соблюдении нормализованности отношений сложные сущности реального мира представляются в реляционной БД в виде нескольких кортежей нескольких отношений. Например, представим, что нам требуется представить в реляционной базе данных сущность ОТДЕЛ с атрибутами ОТД_НОМЕР (номер отдела), ОТД_КОЛ (количество сотрудников) и ОТД_СОТР (набор сотрудников отдела). Для каждого сотрудника нужно хранить СОТР_НОМЕР (номер сотрудника), СОТР_ИМЯ (имя сотрудника) и СОТР_ЗАРП (заработная плата сотрудника). Как мы вскоре увидим, при правильном проектировании соответствующей БД в ней появятся два отношения: ОТДЕЛЫ (ОТД_НОМЕР, ОТД_КОЛ) (первичный ключ - ОТД_НОМЕР) и СОТРУДНИКИ (СОТР_НОМЕР, СОТР_ИМЯ, СОТР_ЗАРП, СОТР_ОТД_НОМ) (первичный ключ - СОТР_НОМЕР).
|
|
|
Как видно, атрибут СОТР_ОТД_НОМ появляется в отношении СОТРУДНИКИ не потому, что номер отдела является собственным свойством сотрудника, а лишь для того, чтобы иметь возможность восстановить при необходимости полную сущность ОТДЕЛ. Значение атрибута СОТР_ОТД_НОМ в любом кортеже отношения СОТРУДНИКИ должно соответствовать значению атрибута ОТД_НОМ в некотором кортеже отношения ОТДЕЛЫ. Атрибут такого рода называется внешним ключом, поскольку его значения однозначно характеризуют сущности, представленные кортежами некоторого другого отношения (т.е. задают значения их первичного ключа). Говорят, что отношение, в котором определен внешний ключ, ссылается на соответствующее отношение, в котором такой же атрибут является первичным ключом.
Требование целостности по ссылкам, или требование внешнего ключа состоит в том, что для каждого значения внешнего ключа, появляющегося в ссылающемся отношении, в отношении, на которое ведет ссылка, должен найтись кортеж с таким же значением первичного ключа, либо значение внешнего ключа должно быть неопределенным (т.е. ни на что не указывать). Для нашего примера это означает, что если для сотрудника указан номер отдела, то этот отдел должен существовать.
Ограничения целостности сущности и по ссылкам должны поддерживаться СУБД. Для соблюдения целостности сущности достаточно гарантировать отсутствие в любом отношении кортежей с одним и тем же значением первичного ключа. С целостностью по ссылкам дела обстоят несколько более сложно.
|
|
|
Понятно, что при обновлении ссылающегося отношения (вставке новых кортежей или модификации значения внешнего ключа в существующих кортежах) достаточно следить за тем, чтобы не появлялись некорректные значения внешнего ключа. Но как быть при удалении кортежа из отношения, на которое ведет ссылка?
Здесь существуют три подхода, каждый из которых поддерживает целостность по ссылкам. Первый подход заключается в том, что запрещается производить удаление кортежа, на который существуют ссылки (т.е. сначала нужно либо удалить ссылающиеся кортежи, либо соответствующим образом изменить значения их внешнего ключа). При втором подходе при удалении кортежа, на который имеются ссылки, во всех ссылающихся кортежах значение внешнего ключа автоматически становится неопределенным. Наконец, третий подход (каскадное удаление) состоит в том, что при удалении кортежа из отношения, на которое ведет ссылка, из ссылающегося отношения автоматически удаляются все ссылающиеся кортежи.
В развитых реляционных СУБД обычно можно выбрать способ поддержания целостности по ссылкам для каждой отдельной ситуации определения внешнего ключа. Конечно, для принятия такого решения необходимо анализировать требования конкретной прикладной области.
Что определяют аксиомы Армстронга? Напишите эти аксиомы и их названия
Функциональные (однозначные) F-зависимости. Функциональные зависимости являются обобщением понятия ключа: значения кортежа на одном множестве X атрибутов определяют значения на другом множестве Y атрибутов; X, Y 
R; R - схема отношения R. Аксиома вывода - правило: если отношение удовлетворяет некоторым F-зависимостям, то оно должно удовлетворять и другим F-зависимостям.
F1. X = X. Рефлексивность: πX (SX=x (r)) имеет не более одного кортежа. Например, Студент 
Студент.
F3. Пополнение: если X Y, то XZ Y.
Из X Y следует (
), что πY (SX=x (R)) имеет не более одного кортежа для любого x X. Если Z 
R, то σXZ=xz (R) 
σX=x (R) и πY (σXZ=xz (R)) πY (SX=x (R)) имеет не более одного кортежа.
Следовательно, если Студент Преподаватель, то Студент Кафедра Преподаватель. Или из A B следует AС B и AD B, ABC B, ABD B, ACD B, ABCD B.
|
|
|
F4. Транзитивность: если X Y, YZ W, то XZ W.
Если t1 (X) = t2 (X), то t1 (Y) = t2 (Y) по определению. Если t1 (YZ) = t2 (YZ), то и t1 (W) = t2 (W). Следовательно, из t1 (XZ) = t2 (XZ) имеем t1 (X) = t2 (X) и t1 из=". /Ресурсы/t-1. htm"/> (Z) = t2 (Z), (Y) = t2 (Y), t1 (YZ) = t2 (YZ) и t1 (W) = t2 (W). Иначе, если Студент Преподаватель, Преподаватель Кафедра Факультет, то Студент Кафедра Факультет или из A B, BC D следует AC D.
|
|
|
