
- •«Курский государственный университет»
- •Курсовая работа
- •1. Техническое задание 2
- •2. Модель предметной области в виде системы функциональных зависимостей 12
- •5. Построение запросов на языке sql 32
- •1.1.2. Объекты предметной области
- •1.1.3. Процессы взаимодействия между объектами, происходящие в предметной области
- •Формализованное описание предметной области
- •1.2.1. Словарь терминов для объектов и элементов данных
- •1.2.2. Первичные и альтернативные ключи
- •2.1.2. Не ключевые функциональные зависимости
- •2.1.3. Функциональные зависимости для сохранения иерархии
- •2.1.4.Функциональные зависимости для устранения потери информации при соединении
- •2.1.5. Исходное множество функциональных зависимостей
- •Неизбыточное редуцированное покрытие системы функциональных зависимостей
- •Построение неизбытычного покрытия
- •3.2. Построениелеворедуцированногопокрытия
- •3.3. Построениеправоредуцированногопокрытия
- •Минимальное кольцевое редуцированное покрытие системы функциональных зависимостей
- •4.1 Естественноехарактеристическоемножество:
- •5.1.1. Выражение для запроса с использованием операций реляционной алгебры
- •5.1.3. Исходный запрос на языке sql
- •5.1.4. Временные характеристики исходного запроса
- •5.1.5. Оптимизированное операционное дерево для запроса
- •5.1.6. Оптимизированный запрос на языке sql
- •5.1.7. Временные характеристики оптимизированного запроса
- •5.2. Многотабличный запрос на выборку по условию нескольких строк и логической формулы условий столбцов с использованием "or"
- •5.2.1. Выражение для запроса с использованием операций реляционной алгебры
- •5.2.2. Исходное операционное дерево для запроса
- •5.2.3. Исходный запрос на языке sql
- •Приложение 1
2.1.2. Не ключевые функциональные зависимости
У двух и более людей серия и номер паспорта не могут быть одинаковыми.
Fam, Im, Otch, pol, dateborn, datevidachi, kemvidan, country, city, street, numstreet, numflat, dolgnost ->passport
Один человек не может одновременно жить в двух комнатах.
num_room ->passport
Номер помещения однозначно определяет номер комнаты.
num_p ->num_room
Единица спортивного инвентаря не может одновременно находиться в нескольких спортивных залах.
num_zal ->inv_number_inv
Единица техники не может одновременно находиться в нескольких помещениях.
num_р ->inv_number_tec
Единица мебели не может одновременно находиться в нескольких помещениях.
num_р ->inv_number_meb
2.1.3. Функциональные зависимости для сохранения иерархии
Несуществующий человек не может быть тренером.
number ->passport, fam, im, otch, pol, dateborn, datevidachi, kemvidan, country, city, street, numstreet, numflat, dolgnost
Несуществующий человек не может быть футболистом.
status_c -> passport,fam, im, otch, pol, dateborn, datevidachi, kemvidan, country, city, street, numstreet, numflat, dolgnost
2.1.4.Функциональные зависимости для устранения потери информации при соединении
Функциональная зависимость для устранения потери информации при соединении для отношения PERSON:
passport, fam, im, otch, pol, dateborn, datevidachi, kemvidan, country, city, street, numstreet, numflat, dolgnost ->Person
Функциональная зависимость для устранения потери информации при соединении для отношения PLAYER:
passport,staff_pl, number, status_pl ->Player
Функциональная зависимость для устранения потери информации при соединении для отношения COACH:
passport,staff_c, status_c ->Coach
Функциональная зависимость для устранения потери информации при соединении для отношения POPULATE
pop_index,passport, num_p ->populate
Функциональная зависимость для устранения потери информации при соединении для отношения POMESHENIE:
num_p ,square, naznachenie ->pomeshenie
Функциональная зависимость для устранения потери информации при соединении для отношения ZAL:
num_p,num_zal, type_zal ->zal
Функциональная зависимость для устранения потери информации при соединении для отношения ROOM:
num_p ,num_room ->room
Функциональная зависимость для устранения потери информации при соединении для отношения TECHNO_IN_POM:
tec_in ,date_tec, num_p, inv_number_pom ->techno_in_pom
Функциональная зависимость для устранения потери информации при соединении для отношения MEB_IN_POM:
meb_in ,date_meb, num_p, inv_number_meb ->meb_in_pom
Функциональная зависимость для устранения потери информации при соединении для отношения INV_IN_ZAL:
inv_in_id ,date_inv, num_p, inv_number_inv ->inv_in_zal
Функциональная зависимость для устранения потери информации при соединении для отношения INVENUM_INV:
inv_number_inv ,code_obj ->invenum_inv
Функциональная зависимость для устранения потери информации при соединении для отношения INVENUM_TEC:
inv_number_tec, code_obj ->invenum_tec
Функциональная зависимость для устранения потери информации при соединении для отношения INVENUM_MEB:
inv_number_meb, code_obj ->invenum_meb
Функциональная зависимость для устранения потери информации при соединении для отношения ARRIVAL_OBJECT:
code_obj ,kol, date, price ->arrival_object
Функциональная зависимость для устранения потери информации при соединении для отношения INVENTAR:
code_obj ,firm_inv, model_inv ->inventar
Функциональная зависимость для устранения потери информации при соединении для отношения TECHNO:
code_obj ,firm_tec, model_tec ->techno
Функциональная зависимость для устранения потери информации при соединении для отношения MEBEL:
code_obj,firm_meb, dlina, width, height, color -> mebel
Функциональная зависимость для устранения потери информации при соединении для отношения SPISANIE:
id_spis , data ->spisanie
Функциональная зависимость для устранения потери информации при соединении для отношения OUT_INVENTAR:
id_spis ,inv_number_inv , reason_inv ->out_inventar
Функциональная зависимость для устранения потери информации при соединении для отношения OUT_TECHNO:
id_spis ,inv_number_tec , reason_tec ->out_techno
Функциональная зависимость для устранения потери информации при соединении для отношения OUT_MEBEL:
id_spis ,inv_number_meb , reason_meb ->out_mebel