Теория экономических информационных систем


Теория экономических информационных систем - стр. 38


Следовательно, систематическая проверка свойств вероятного ключа позволяет следить за достоверностью информации в отношении.

Если в отношении присутствует несколько вероятных ключей, то очень трудно одновременно следить за ними и обычно выбирают один  из них в качестве основного (первичного).

Первичным ключом отношения называется такой вероятный ключ, по значениям которого производится контроль достоверности информации в отношении. Как правило, экономические документы имеют один первичный ключ. Первичный ключ часто называется просто ключ.

Нахождение первичного ключа затрудняется большим количеством информации и неизвестностью сразу всех отношений, поэтому первичный ключ отношения определяется по известным функциональным зависимостям.

Каждое значение первичного ключа встречается только в одной строке отношения. Значение любого атрибута в этой строке также единственное. Если через К обозначить атрибуты первичного ключа в отношении F(A,B,C,..., I), то справедливы следующие функциональные зависимости К-> А, К-> В, К-> С,... ,

К -> I. Набор атрибутов первичного ключа функционально определяет любой атрибут отношения. Обратное также верно: если найдена группа атрибутов, которая функционально определяет все атрибуты отношения по отдельности, и эту группу нельзя сократить, то найден первичный ключ отношения.

Функциональные зависимости могут быть выражены с помощью ряда теорем. Эти теоремы позволяют получать новые зависимости из исходного множества зависимостей. Приведем шесть теорем, хотя  на их основе могут быть получены и другие теоремы.

Теорема 1

 А,В -> А и А,В -> В.

Доказательство основано на том, что в строке <а, b> для атрибутов А и В значение а (как и значение b) присутствует один раз.

 

Теорема 2

А -> В и А -> С тогда и только тогда, когда А -> ВС.

Для доказательства рассмотрим произвольное значение а атрибута А. Если А-> В иА-> С, то im В(а) и im С(а) содержат по одному элементу. Предположим, что зависимость А -> ВС неверна и im ВС(а) состоит из двух или более элементов.


Начало  Назад  Вперед



Книжный магазин