Cтраница 1
Полные схемы базы данных в ЗНФ, образованные по методу декомпозиции, не содержат удаляемых атрибутов ( см. упр. То же верно для синтезированных схем базы данных. [1]
Приведите алгоритм, преобразующий полную схему базы данных, полученную из SYNTHESIZE, в LTK-нормальную форму. [2]
Приведите алгоритм, преобразующий полную схему базы данных, полученную из SYNTHESIZE, в LTK-нормальную форму. [3]
Лемма 6.2 указывает способ синтезирования полной схемы базы данных для множества F-зависимостей F. Находим неизбыточное покрытие F для F и в EF - вычисляем классы эквивалентности. Пусть ер - ( X) - множество выделенных ключей для R. Схема базы данных R состоит из всех таким образом синтезированных схем. Согласно следствию из леммы 6.2, она наверняка имеет минимальное число схем. [4]
Лемма 6.2 указывает способ синтезирования полной схемы базы данных для множества F-зависимостей F. Находим неизбыточное покрытие F для F и в EF - вычисляем классы эквивалентности. [5]
Теорема 6.1. Алгоритм SYNTHESIZE создает для множества F-зависимостей F полную схему базы данных за время О ( п), где п - длина входа. [6]
Теорема 6.1. Алгоритм SYNTHESIZE создает для множества F-зависимостей F полную схему базы данных за время О ( п2), где п - длина входа. [7]
Лемма 6.4. Пусть R - схема базы данных, построенная для множества - зависимостей F алгоритмом SYNTHESIZE. He существует другой полной схемы базы данных для F с меньшим числом выделенных ключей. [8]
Лемма 6.4. Пусть R - схема базы данных, построенная для множества F - зависимостей F алгоритмом SYNTHESIZE. He существует другой полной схемы базы данных для F с меньшим числом выделенных ключей. [9]