Построение по суперключу составного потенциального ключа и доказательство его потенциальности.
Построение по суперключу составного потенциального ключа и доказательство его потенциальности. - раздел Образование, Реферат Проверим Свойство Неизбыточности Выбранного Ключа K = {Id, Дебитор}. Для Этог...
Проверим свойство неизбыточности выбранного ключа K = {ID, Дебитор}. Для этого нужно проверить уникальность подмножеств K за исключением самого K и пустого подмножества.
Итак, дано отношение R = “Кредиты” с множеством атрибутов A = {ID, Дебитор, Сумма, Дата, Баланс} и множеством функциональных зависимостей :
S = {
{id}->{Сумма},
{id}->{Дата},
{Дебитор}->{Баланс}
}.
Рассмотрим K1 = {ID }⊂K.
Для проверки уникальности K1 построим его замыкание:
K1+ = K1 = {ID},
K1+ U {ID}->{ Сумма } = K1+={ID, Сумма }
K1+ U {ID}->{ Дата } = K1+={ID, Сумма, Дата }
Итак, полученноеK1+ ≠A, следовательно, K1 не обладает свойством уникальности.
Рассмотрим K2 = {Дебитор} ⊂K.
Для проверки уникальности K2 построим его замыкание:
K1+ = K1 = {Дебитор},
K1+ U {Дебитор}->{Баланс} = K1+={Дебитор, Баланс}
Итак, полученное K2+ ≠A, следовательно, K2 не обладает свойством уникальности.
Таким образом, ни одно из рассмотренных подмножеств K не обладает свойством уникальности, поэтому K обладает свойством не избыточности. Исходя из этого, делаем вывод, что K = {ID, Дебитор}является потенциальным ключом в отношении “Кредиты”.[7]
Для ликвидации противоречий в отношениях необходимо провести их нормализацию... НФ... Все отношения уже находятся в НФ так как значения всех их атрибутов атомарны т е каждый его кортеж содержит только...
Схемы базовых отношений.
Можно выделить три базовых отношения: Дебитор, пользователь и кредит. Ниже приведены схемы этих отношений, полученные исходя из описания предметной области и представлений пользователей о ней.
Множество функциональных зависимостей.
Для всех отношений построим множества функциональных зависимостей, формализуя слова пользователей, приведённые в пункте 2.3.
Описания отношения «Дебиторы»:
1. В си
Неприводимое множество функциональных зависимостей.
Для отношения «Дебиторы» построим структурно более простое множество функциональных зависимостей эквивалентное исходному. Для этого воспользуемся правилами Армстронга.[7]
П
Построение суперключа и доказательство его уникальности.
Для отношения “Кредиты”построим один суперключ.
В качестве суперключа возьмём множество атрибутов SK = {ID, Дебитор }. Докажем его уникальность.
Итак, дано отношение R = “Кредиты”
Выбор первичных ключей.
Можно убедиться, что все отношения в рассматриваемой модели имеют только один потенциальный ключ, поэтому в качестве первичных ключей для каждого отношения выберем единственный имеющийся потенциаль
SQL-скрипт создания пустой базы данных
Для работы с базой данных – нам, прежде всего, нужно ее создать. Для этого мы используем SQL-скрипт, который создает пустую базу данных. С помощью приведенного далее запроса мы создадим таблицу Cre
Тестирование программы
На рис.1.5 представлено основное окно программ, на котором пользователю предоставляется возможность зарегестрироваться и просмотреть историю платежей на погашения кредита
Рис. 1.5 – Главно
Список использованных источников
1. Бойко В.В., Савинков В.М. Проектирование баз данных информационных систем. – М.: Финансы и статистика, 1989
2. Дейт К.Дж. Введение в системы баз данных.
Хотите получать на электронную почту самые свежие новости?
Подпишитесь на Нашу рассылку
Наша политика приватности обеспечивает 100% безопасность и анонимность Ваших E-Mail
Новости и инфо для студентов