![]() КАТЕГОРИИ:
АстрономияБиологияГеографияДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРиторикаСоциологияСпортСтроительствоТехнологияФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника
|
Свойство соединения без потерь
Определение свойства соединения без потерь Пусть
где Пример схемы БД, не обладающей свойством соединения без потерь. Пусть Для доказательства утверждения, что схема БД не обладает свойством соединения без потерь, достаточно привести пример экземпляра отношения r, который не удовлетворял бы определению свойства соединения без потерь. Пусть тогда
Пример схемы БД, обладающей свойством соединения без потерь. Пусть Покажем, в пику предыдущему примеру, что для следующего экземпляра отношения выполняется свойство соединения без потерь:
Теорема: пусть ρ обладает свойством соединения без потерь тогда и только тогда, когда справедлива хотя бы одна из следующих функциональных зависимостей: 1) 2) (Теорема без доказательства.) Покажем, что в предыдущем примере схема БД ρ обладает свойством соединения без потерь.
Следствие из теоремы: пусть R1 и R2 – две сущности инфологической схемы БД, которые связаны между собой. Схема БД Пример: Обладает ли Воспользуемся теоремой:
Пакет ERWin позволяет строить схемы БД, обладающие свойством соединения без потерь, т.к. при определении связей между сущностями ключ родительской сущности наследуется в атрибуты дочерней сущности. Если связь между сущностями в последнем примере была бы неидентифицирующая, все было бы то же самое.
2. Схема ведения транзакций при выполнении приложений. Версии записей.
|