- •База данных
- •Введение
- •1.2 Выбор и описание автоматизируемых функций
- •1.3 Первичное описание информационного обеспечения
- •1.4 Вывод
- •2 Выявление ограничений и правил поддержания целостности
- •2.1 Уровень атрибутов
- •2.2.1 Функция 1 “Продажа билетов”.
- •2.2.2 Функция 2 “Возврат билетов”.
- •2.2.3 Функция 3 “Бронирование билетов”.
- •2.2.4 Функция 4 “Заказ транспортных средств”.
- •2.2.5 Функция 5 “Учет кадров”.
- •2.3 Уровень множеств кортежей
- •2.3.1 Функция 1 “Продажа билетов”.
- •2.3.2 Функция 2 “Возврат билетов”.
- •2.3.3. Функция 3 “Бронирование билетов”.
- •2.3.4 Функция 4 “Заказ транспортных средств”.
- •2.3.5 Функция 5 “Учет кадров”.
- •2.4 Уровень базы данных
- •2.4.1 Функция 1 “Продажа билетов”.
- •2.4.2 Функция 2 “Возврат билетов”.
- •2.4.3 Функция 3 “Бронирование билетов”.
- •2.4.4 Функция 4 “Заказ транспортных средств”.
- •2.4.5 Функция 5 “Учет кадров”.
- •2.5 Вывод
- •3.1.2 Функция 2 “Возврат билетов”
- •3.1.4 Функция 4 “Заказ транспортных средств”
- •3.1.5 Функция 5 “Учет кадров”
- •3.2.1 Функция 1 “Продажа билетов”
- •3.2.2 Функция 2 “Возврат билетов”
- •3.2.3 Функция 3 “Бронирование билетов”
- •3.2.4 Функция 4 “Заказ транспортных средств”
- •3.2.5 Функция 5 “Учет кадров”
- •3.3 Спецификация ограничений и правил поддержания целостности
- •5.2 Спецификация ограничений и правил поддержания целостности
- •5.3 Sql-код для создания реляционной модели
- •5.4 Вывод
- •6.2 Sql-код локальных просмотров для автоматизируемых функций
2.2.1 Функция 1 “Продажа билетов”.
Статические ограничения для данной функции на уровне кортежей для групп атрибутов приведены в табл. 2.2.1.1.
Таблица 2.2.1.1. Статические ограничения для групп атрибутов на уровне кортежей функции 1 “Продажа билетов”.
|
№ п/п |
Группа атрибутов |
Ограничение |
|
1 |
1.1 Фамилия пассажира |
|
|
|
1.2 Имя пассажира |
Уникальность |
|
|
1.3 Отчество пассажира |
|
|
2 |
2.1 Номер билета |
Уникальность |
|
|
2.7 Номер места |
|
|
3 |
2.3 Число |
>= текущему числу |
|
|
2.4 Месяц |
Текущий или следующий месяц |
|
|
2.5 Год |
Текущий или следующий год |
|
|
2.6 Время |
<= 24.00 |
|
|
2.7 Номер места |
<= количество мест в транспортном средстве
|
|
4 |
3.1 Серия |
Уникальность |
Динамические ограничения для кортежей атрибутов, соответствующих данной функции, приведены в табл. 2.2.1.2.
Таблица 2.2.1.2. Динамические ограничения на уровне кортежей функции 1 “Продажа билетов”.
|
№ п/п |
Группа атрибутов |
Ограничение |
|
2 |
2.1 Номер билета |
Новый номер билета получается прибавлением единицы к предыдущему номеру. |
|
|
2.7 Номер места |
Новый номер не должен повторяться с предыдущими. |
Операционные правила для кортежей атрибутов соответствующих данной функции, не выявлены.
2.2.2 Функция 2 “Возврат билетов”.
Статические ограничения для данной функции на уровне кортежей для групп атрибутов приведены в табл. 2.2.2.1.
Таблица 2.2.2.1. Статические ограничения для групп атрибутов на уровне кортежей функции 2 “Возврат билетов”.
|
№ п/п |
Группа атрибутов |
Ограничение |
|
1 |
1.1 Фамилия работника автовокзала |
|
|
|
1.2 Имя работника автовокзала |
|
|
|
1.3 Отчество работника автовокзала |
уникальность |
|
|
1.4 Код работника автовокзала |
|
|
2 |
1.5 Номер билета |
уникальность |
|
|
2.7 Номер места |
|
|
3 |
2.3 Число |
>= текущему числу |
|
|
2.4 Месяц |
Текущий или следующий месяц |
|
|
2.5 Год |
Текущий или следующий год |
|
|
2.6 Время |
<= 24.00 |
|
|
2.7 Номер места |
<= количество мест в транспортном средстве
|
Динамические ограничения для кортежей атрибутов, соответствующих данной функции, приведены в табл. 2.2.2.2.
Таблица 2.2.2.2. Динамические ограничения на уровне кортежей функции21 “Возврат билетов”.
|
№ п/п |
Группа атрибутов |
Ограничение |
|
2 |
2.1 Номер билета |
Новый номер билета получается прибавлением единицы к предыдущему номеру. |
|
|
2.7 Номер места |
Новый номер не должен повторяться с предыдущими. |
Операционные правила для кортежей атрибутов соответствующих данной функции, не выявлены.