Студопедия

КАТЕГОРИИ:

АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника



Свойство соединения без потерь




Читайте также:
  1. I. Решение телеграфных уравнений для линии без потерь
  2. Алгоритмы сжатия без потерь - кодирование длин серий (RLE), алгоритм Лемпеля-Зива-Велча (LZW), форматы GIF и PNG.
  3. Алгоритмы сжатия файлов без потерь
  4. Амфотерные соединения неорганических и органических веществ
  5. Анализ структуры потерь электроэнергии
  6. Баланс азота в земледелии России. Пути снижения потерь и повышения эффективности азотных удобрений.
  7. Баш-е племена накануне вхождения в сотсав Росс. Осн эпаты присоединения Баш-и к Рус гос-ву и его последстия.
  8. Берилий и его соединения как конструкционный материал.
  9. Болтовые соединения
  10. В заклепочных соединениях возникают напряжения ...Срезывающие, сжимающие, изгибающие напряжения

 

Определение свойства соединения без потерь

Пусть – схема БД (т.е. , где A – универсальная схема отношения). Схема БД обладает свойством соединения без потерь, если для любого экземпляра отношения r универсальной схемы отношений A выполняется следующее равенство:

,

где – проекция отношения r на множество атрибутов Ri (определение проекции дано в предыдущей лекции), – операция естественного соединения.

Пример схемы БД, не обладающей свойством соединения без потерь.

Пусть – универсальная схема отношения, – схема БД, а – функциональная зависимость.

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

Пусть ,

тогда

; ;

 

.

 

Пример схемы БД, обладающей свойством соединения без потерь.

Пусть – универсальная схема отношения, – схема БД, а – функциональная зависимость.

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

;

 

; ;

 

.

 

Теорема: пусть – схема БД, а F – множество функциональных зависимостей на универсальной схеме отношения.

ρ обладает свойством соединения без потерь тогда и только тогда, когда справедлива хотя бы одна из следующих функциональных зависимостей:

1) ;

2) .

(Теорема без доказательства.)

Покажем, что в предыдущем примере схема БД ρ обладает свойством соединения без потерь.

;

;

( ), т.к. из F (по условию).

Следствие из теоремы: пусть R1 и R2 – две сущности инфологической схемы БД, которые связаны между собой.

Схема БД обладает свойством соединения без потерь, если общие атрибуты R1 и R2 содержат ключ одной из этих сущностей.

Пример:

Обладает ли свойством соединения без потерь?

Воспользуемся теоремой:

;

.

, т.к. имеет место (т.к. A – ключ R1).

Пакет ERWin позволяет строить схемы БД, обладающие свойством соединения без потерь, т.к. при определении связей между сущностями ключ родительской сущности наследуется в атрибуты дочерней сущности.

Если связь между сущностями в последнем примере была бы неидентифицирующая, все было бы то же самое.



 

 

2. Схема ведения транзакций при выполнении приложений. Версии записей.

 


Дата добавления: 2015-04-21; просмотров: 6; Нарушение авторских прав







lektsii.com - Лекции.Ком - 2014-2021 год. (0.012 сек.) Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав
Главная страница Случайная страница Контакты