Изучение основных алгоритмов теории реляционных баз данных, страница 4

5.  Проверить на контрольных примерах 1, 4, 6 из табл. 3.4  следующий известный факт: если схема БД ρ сохраняет F и F |= *[ρ], то хотя бы одна из подсхем  является суперключом R над F; строки выделенных переменных в результирующем табло соответствуют подсхемам - суперключам.

Содержание отчета

1.   Тексты программ.

2.   Результаты выполнения программ на контрольных примерах.

Задание 4

Синтез B - схемы

Содержание и порядок выполнения работы

1.  Изучить алгоритм синтеза В-схемы, приведенный в прил.6.

2.  Разработать программу синтеза В-схемы, используя программные процедуры (функции) из заданий 1-3.

В программе предусмотреть: уменьшение числа ФЗ в редуцированном покрытии путем применения к нему правила вывода F3 (аддитивность); удаление из В-схемы  подсхем  таких, что   (и ).

3.  Проверить корректность работы программы на контрольных примерах из табл.3.5.

Таблица 3.5

Номер примера	Исходные данные: R - множество атрибутов, F -неизбыточное множество ФЗ	Результат: B - схема и её нормальная форма
1	R = ABCD, F = (АВ→CD, C→В}	ρ = {R(ABCD)}, ЗHФ
2.	R = ABCD, F = {А→В, В→С}	ρ = {R1(AB), R2(BC), R3(AD)}, НФБК.
3	R = ABCD, F = {A→В, A→CD, C→D}	ρ = { R1(ABC), R2(CD)}, НФБК
4	R = ABCD, F = {AD→C, CD→A, B→D}	ρ = {R1(ACD), R2(BD), R3(BC)}, НФБК
5	R = ABCD, F = (A→BC, BC→D, D→C}	ρ = {R1(ABC), R2(BCD)}, ЗНФ
6	R = ABCD, F = {A→BD, AB→CD)	ρ = {R(ABCD)}, НФБК

4.  Для практической задачи из прил.7 (согласно варианту задания) выполнить следующие действия:

- осуществить синтез В-схемы  ;

- проверить, в какой нормальной форме находится ρ (ЗНФ или НФБК) относительно исходного множества ФЗ F;

- для каждой  ()   указать ключи относительно ;