Cтраница 4
Представим теперь надежное и полное множество аксиом, позволяющих делать заключения о множестве функциональных и многозначных зависимостей на множестве атрибутов U. [46]
В этом разделе мы обобщим леммы 14.1, 14.2 и теорему 14.1, включив многозначные зависимости. [47]
Для построения структуры баз ы данных необходимо использовать множество как функциональных, так и многозначных зависимостей, а также схему отношения, включающего все множество атрибутов базы данных. [48]
При заданном множестве функциональных и многозначных зависимостей D мы хотели бы найти множествоD всех функциональных и многозначных зависимостей, логически выводимых из D. Можно вычислить D, начиная с D и применяя аксиомы А1 - А8 до тех пор, пока будет возможен вывод новых зависимостей. Этот процесс, однако, может потребовать времени, экспоненциально зависящего от числа зависимостей в D. Часто требуется только знать, следует ли из D конкретная зависимость X - Y или X - - - Y. Такой вопрос возникает, например, если нужно исключить избыточные зависимости. [49]
Описанное выше соответствие между логикой и теорией зависимостей не может быть распространено на зависимости соединений или вложенные многозначные зависимости. Это ограничение покажется не столь удивительным х), если заметить, что для таких типов зависимостей импликация в мире двустрочных отношений отличается от импликации в мире всех ( конечных) отношений ( см. упр. Мы покажем, что соответствие не распространяется на J-зависимости. Доказательство для EMV-зависи-мостей оставлено в качестве упр. [50]
Описанное выше соответствие между логикой и теорией зависимостей не может быть распространено на зависимости соединений или вложенные многозначные зависимости. Это ограничение покажется не столь удивительным 1), если заметить, что для таких типов зависимостей импликация в мире двустрочных отношений отличается от импликации в мире всех ( конечных) отношений ( см. упр. Мы покажем, что соответствие не распространяется на J-зависимости. Доказательство для EMV-зависи-мостей оставлено в качестве упр. [51]
Известны четыре нормальные формы, определяемые в терминах функциональных зависимостей, и одна, определяемая в терминах функциональных и многозначных зависимостей. [52]
Рассмотренное отображение предусматривает включение в реляционную схему явных ограничений, которые не будут ни функциональными, ни многозначными зависимостями. [53]
Существует обобщение нормальной формы Бойса-Кодда, называемое четвертой нормальной формой, которое применяется к схемам отношений с многозначными зависимостями. [54]