Кафедра ИУ5 МГТУ им. Н.Э.Баумана, студенческое сообщество - Вклад [ru]

СЭВМ (9) - Лекция №10 - Обслуживание мейнфреймов

2012-11-19T13:31:12Z

85.202.230.62: /* Пакетная обработка */

{{Backward|l= СЭВМ (9) - Лекция №9 - Мейнфреймы}}

== Мейнфреймы ==

=== Функции ===

==== Пакетная обработка ====

Одним из основных преимуществ мейнфреймов является их способность обрабатывать терабайты данных, размещённых на высокоскоростных устройствах хранения, и производить ценные выходные данные.

Использование мейнфреймов позволяет учреждениям выполнять квартальную обработку данных, создавать отчёты. Приложения, генерирующие эти отчёты, называются пакетными приложениями. Они выполняются на мейнфрейме без вмешательства человека.

Пакетные задания считывают и обрабатывают данные в больших количествах и формируют выходные данные.

Однако, пакетная обработка не так распространена, как мейнфреймы, так как распределённых систем часто не хватает:
* дискового пространства;
* доступной мощности процессора;
* управления системными ресурсами;
* планирование заданий на уровне [http://en.wikipedia.org/wiki/IBM_Parallel_Sysplex#Sysplex Sysplex].

Пакетные процессы обычно имеют следующие свойства:
* обработка и хранения больших объёмов вводимых данных;
* доступ к большому количеству записей;
* большой объём выходных данных;
* мгновенная реакция (обычно, это обязательное требование);
* генерируется информация о большом количестве пользователей или информационных объектов.

Запланированный пакетный процесс может представлять выполнение тысяч задач в заданной последовательности. Рассмотрим последовательность выполнения запланированного пакетного процесса:
# ночью происходит обработка множества пакетных заданий, осуществляющих запуск программ и утилит. Эти задания консолидируют результаты оперативных транзакций, прошедших в течение дня;
# до и после выполнения заданий создаются резервные копии критически важных данных;
# отчёты с коммерческой статистикой передаются в специальный отдел для анализа;
# отчёты с заключениями(исключениями?) пересылаются в филиалы;
# отчёты о суммарной обработке данных отправляются партнёрской компании, владельцу торговой марки;
# владелец осуществляет мониторинг;
# задания и транзакции выполняют чтение или обновление БД.

==== Обработка оперативных транзакций ====

Это обработка транзакций, выполняемая интерактивно с участием конечного пользователя.

Обычно, мейнфрейм обслуживает огромное количество систем выполнения транзакций. Эти системы часто представляют собой критически важные приложения, от которых зависит выполнение основных функций предприятия.

Системы, выполняющие транзакции, должны быть способны поддерживать непредсказуемое количество одновременно работающих пользователей и типов транзакций.

Одно из основных свойств системы выполнения транзакций - очень высокая скорость взаимодействия пользователя с системой. Серия коротких взаимодействий, при которых на каждое следует немедленная реакция.

Оперативные транзакции обладают следующими свойствами:
* небольшое количество входных данных;
* небольшое количество хранимых записей, к которым осуществляется доступ и обработка;
* небольшое количество выходных данных.

Требования к транзакционным системам:
* высокая скорость реакции;
* больше количество пользователей;
* круглосуточная доступность транзакционного интерфейса для пользователя;
* безопасность выполнения транзакций.

Пример транзакционной системы:
# обычный банкомат с понятным пользователю графическим интерфейсом;
# в филиале банка сидит сотрудник и осуществляет операции;
# в центральном офисе тоже что-то происходит;
# все запросы отправляются на мейнфрейм для обработки;
# приложения на мейнфрейме выполняют обновление и запросы к СУБД;
# сохранение файлов БД.

=== Обслуживание мейнфреймов ===

На обслуживание мейнфрейма требуется тьма всяких должностей: от администраторов и программистов до завскладом.

==== Системный программист ====

Занимается установкой, настройкой и обслуживанием операционной системы. Он же ставит и обновляет ПО.

Его задачи:
* планирование обновления ПО и аппаратного обеспечения и изменений в конфигурации;
* подготовка системных операторов и программистов приложений;
* автоматизация операций;
* планирование производительной мощности;
* запуск заданий и скриптов установки;
* выполнение заданий настройки, относящихся к инсталляции;
* тестирование взаимодействия новых продуктов с существующими приложениями и пользовательскими процедурами;
* настройка производительности в масштабах системы в целях обеспечение требуемого уровня обслуживания.

Должен иметь навыки исправления ошибок системного ПО. Смотрит дампы и выясняет.

Занимается обслуживанием промежуточного ПО (программный слой между ОС и приложением конечного пользователя).

==== Системный администратор ====

Обслуживает критически важные данные предприятия (БД).

Задачи:
* установка ПО;
* добавление и удаление пользователей;
* управление правами доступа;
* управление устройствами хранения;
* управление сетями и связью;
* мониторинг системной производительности.

==== Проектировщики и программисты приложений ====

Проектирование, компоновка, тестирование и доставка приложений к конечному пользователю.

На основании требований, полученных от бизнес-аналитиков, проектировщик создаёт ТЗ, по которому программист создаёт приложение. Этот процесс включает в себя несколько итераций.

Тестирование:
* функциональное - соответствие ТЗ;
* модульное - проверка модуля отдельно;
* интеграционное - как будет работать вся система.

==== Системный оператор ====

Осуществляет мониторинг и контроль операций, выполняемых на программном и аппаратном обеспечении мейнфрейма. Запускает и останавливает системные задачи, проверяет системные консоли на возникновение необычных состояний.

При добавлении приложений в мейнфрейм также отвечает за их бесперебойную работу. Документация описывает операционные требования к приложению, о которых операторы должны знать при выполнении задачи.

==== Аналитик производственного контроля ====

Отвечает за проверку безошибочного и бесперебойного выполнения пакетных заданий.

На некоторых мейнфреймах сначала выполняется интерактивная задача для оперативных пользователей, а потом только запускается пакетный режим.

Благодаря контролю, осуществляемому аналитиком, сложно внести какие-либо изменения в систему в обход предусмотренных процедур.

==== Изготовитель ====

Большая часть мейнфреймов производится в IBM. ПО тоже оттуда. И вся поддержка тоже оттуда. Есть централизованный центр поддержки, предоставляющий гарантийное и дополнительное обслуживание.

Должностные лица поддержки:
* наладчик. Устанавливает, ремонтирует;
* специалист по поддержке ПО.

[[Категория:Супер ЭВМ (9 семестр)]]
[[Категория:Конспекты лекций и семинаров]]

ТОРА (9) - Лекция №6 - Алгоритм построения хорошей БД

2012-10-09T07:20:04Z

85.202.230.62: /* Пример */

== Третья нормальная форма ==

=== Пример аномалий у 3НФ ===

{{Формула|f=R = (A, B, C, D)}} и {{Формула|f=F = (A\rightarrow B, B\rightarrow A, AC\rightarrow D)}}

Два ключа: {{Формула|f=AC}} и {{Формула|f=BC}}

{{Формула|f=(AC)^+=ACBD}}, {{Формула|f=(BC)^+=BCAD}}

{{Формула|f=A^+=AB}}, {{Формула|f=C^+ = C}}, {{Формула|f=B^+ = BA}}

Покажем, что в этом случае {{Формула|f=R}} находится в 3НФ:

1)

:неключевой атрибут {{Формула|f=H}}, {{Формула|f=H = D}}

2)

:{{Формула|f=Y\rightarrow H}}, {{Формула|f=H\notin Y}}, {{Формула|f=Y = AC}}

3)

:{{Формула|f=X = BC}}, {{Формула|f=X = AC}}

Нельзя подобрать нужную тройку, потому {{Формула|f=R}} находится в 3НФ. Однако, отношение всё равно обладает аномалиями:
* избыточности: наименование поставщика повторяется для каждой поставляемой делали;
* противоречивости при изменении наименования поставщика надо изменить его во всех записях, куда оно входит;
* включения: нельзя включить информацию о поставщике, если он ничего не поставляет;
* удаления: при удалении детали удаляется информация о поставщике.

Для устранения этого вводится усиленная 3НФ - Бойса-Кодда.

=== Нормальная форма Бойса-Кодда ===

ФЗ {{Формула|f=X\rightarrow Y}} является неприводимой, если для любого подмножества {{Формула|f=Z\subset X}} выполняется {{Формула|f=Z\nrightarrow Y}} или {{Формула|f=Z\rightarrow Y\notin F^+}}

Пусть есть отношение {{Формула|f=R}} и {{Формула|f=F}} включает в себя нетривиальные неприводимые ФЗ. Тогда отношение {{Формула|f=R}} находится в нормальной форме Бойса-Кодда, если для любого {{Формула|f=X\rightarrow Y\in F}} => {{Формула|f=X}} - ключ.

Пример:

{{Формула|f=R_1 = AB}}, {{Формула|f=F_1 = (A\rightarrow B, B\rightarrow A)}}, {{Формула|f=A}} - ключ, {{Формула|f=B}} - ключ.

или

{{Формула|f=R_2 = ACD}}, {{Формула|f=F_2 = (AC\rightarrow DD)}}, {{Формула|f=AC}} - ключ.

== Алгоритм синтеза "хорошей" БД ==

Пусть {{Формула|f=U}} - универсальная схема отношения (множество всех атрибутов предметной области) и {{Формула|f=F}} - множество ФЗ.

Перед выполнением алгоритма можно привести все ФЗ к одному атрибуту в правой части (по свойству декомпозиции) и удалить лишние ФЗ. Но это не обязательно.

Алгоритм:

# построить УНП для {{Формула|f=F}};
# если среди ФЗ в УНП нет ФЗ, включающей все атрибуты из {{Формула|f=U}}, то добавить в УНП тривиальную ФЗ {{Формула|f=U\rightarrow\varnothing}}. Выполнение этого шага почти всегда обеспечивает свойство соединения без потерь будущей схемы БД;
# привести все нетривиальные ФЗ из УНП к неприводимому виду (удалить лишние атрибуты в левых частях ФЗ);
# разбить полученное множество ФЗ УНП на классы эквивалентности. Две зависимости {{Формула|f=X_i\rightarrow Y_i}} и {{Формула|f=X_j\rightarrow Y_j}} будем называть эквивалентными, если {{Формула|f=X_iY_i = X_jY_j}}. Далее введём обозначение {{Формула|f=K_r = X_iY_i}} - множество атрибутов в левой и правой частях ФЗ {{Формула|f=r}}-того класса эквивалентности;
# построить граф иерархии полученных на предыдущем шаге классов эквивалентности (если это возможно). Правило построения: {{Формула|f=j}}-ый узел соединяем снизу с {{Формула|f=i}}-ым узлом, если {{Формула|f=K_j\subset K_i}}. В каждом узле записываются все ФЗ, соответствующего класса эквивалентности;
# из каждого класса эквивалентности в графе иерархии оставить только одну ФЗ. Правила выбора:
## удалить из класса эквивалентности лишние ФЗ;
## если в классе эквивалентности осталось больше одной ФЗ, то выбрать ФЗ с меньшим числом атрибутов в левой части;
## если у оставшихся ФЗ число атрибутов в левой части одинаково, то выбрать ту ФЗ, которая позволит редуцировать (вычеркнуть) число атрибутов справа у ФЗ, расположенных выше в графе иерархии;
## если в результате не удалось выбрать ни одной, то выбрать произвольную;
# редуцировать атрибуты справа в оставшихся ФЗ. Для этого просмотреть каждый путь снизу вверх в графе иерархии. Двигаясь по выбранному пути, выполнить следующие действия в каждом узле пути:
## пусть {{Формула|f=X\rightarrow Y}} - это ФЗ, записанная в данном узле. Каждый атрибут, принадлежащий правой части, вычеркнуть в правых частях ФЗ, расположенных в узлах этого пути по иерархии выше;
## для тривиальной ФЗ {{Формула|f=U\rightarrow\varnothing}} атрибуты вычёркиваются слева;
# исключить из рассмотрения ФЗ с пустой правой частью (кроме редуцированной ФЗ {{Формула|f=U\rightarrow\varnothing}}). Исключённые на этом шаге ФЗ являются лишними и выводятся из оставшихся;
# каждую оставшуюся в графе иерархий ФЗ {{Формула|f=V\rightarrow W}} заменить на множество {{Формула|f=VW}}. Получившееся множество схем отношений обозначить как {{Формула|f=\rho}};
# для полученной на предыдущем шаге схемы БД проверить:
## обладает ли она свойством соединия без потерь (по алгоритму [[ТОРА_(9)_-_Семинар_№3 | третьего семинара]]). Если не обладает, то добавить ключ универсальной схемы {{Формула|f=U}} в эту схему;
## обладает ли {{Формула|f=\rho}} свойством сохранения ФЗ. Если нет, то, использовать зависимости, не вошедшие в проекцию {{Формула|f=X\rightarrow Y\notin\Pi_{R_i}(F)}}, для построения новых схем отношений, то есть добавить в {{Формула|f=\rho}} {{Формула|f=XY}}.

После выполнения всех шагов полученная схема {{Формула|f=\rho}}:
* обладает свойством соединения без потерь;
* обладает свойством сохранения ФЗ;
* находится в 3НФ или [[#Нормальная форма Бойса-Кодда | НФБК]];
* содержит минимальное число схем отношений.

=== Пример ===

{{Формула|f=U = (поставщик, фирма, деталь, количество) = (A, B, C, D)}}

{{Формула|f=F = (A\rightarrow B, B\rightarrow A, AC\rightarrow D, BC\rightarrow D)}}

Строим {{Формула|f=\rho}}:

1)

:{{Формула|f=УНП = (A\rightarrow B, B\rightarrow A, AC\rightarrow BD, BC\rightarrow AD)}}

2)

:пропускаем этот шаг, так как есть ФЗ (даже не одна), включающая все атрибуты из {{Формула|f=U}}

3)

:уменьшить число атрибутов не удаётся

4)

:1 класс: {{Формула|f=A\rightarrow B}}, {{Формула|f=B\rightarrow A}}, {{Формула|f=K_1 = AB}}
:2 класс: {{Формула|f=AC\rightarrow BD}}, {{Формула|f=BC\rightarrow AD}}, {{Формула|f=K_2 = ABCD}}

5)

:[[Файл:9sTORAl6pic1.png|link=Файл:9sTORAl6pic1.svg]]

6)

:для {{Формула|f=K_2}}:

::способ 1 - как во [[ТОРА_(9)_-_Семинар_№2_-_Функциональные_зависимости#Выявление лишних ФЗ | втором семинаре]]
:::можно ли вывести {{Формула|f=AC\rightarrow BD\in(BC\rightarrow AD)^+}}?
:::{{Формула|f=(AC)^+=AC}}, {{Формула|f=BD\nsubseteq(AC)^+}}, значит нельзя
:::можно ли вывести {{Формула|f=BC\rightarrow AD\in(AC\rightarrow BD)^+}}?
:::{{Формула|f=(BC)^+=BC}}, {{Формула|f=AD\nsubseteq(BC)^+}}, значит нельзя

::способ 2 - вычеркнуть из правых частей ФЗ рассматриваемых классов эквивалентностей общие атрибуты. Если получаются ФЗ с пустой правой частью, то они являются лишними.
:::{{Формула|f=AC\rightarrow B}}
:::{{Формула|f=BC\rightarrow A}}
:::выше по иерархии ничего нет, выбираем {{Формула|f=BC\rightarrow AD}}

::нет лишних ФЗ, потому...

:для {{Формула|f=K_1}}:

[[Категория:Теоретические основы реляционной алгебры (9 семестр)]]
[[Категория:Конспекты лекций и семинаров]]

ТОРА (9) - Семинар №2 - Функциональные зависимости

2012-10-06T18:04:44Z

85.202.230.62: /* Выявление лишних ФЗ */

== Задача №1 - Определение ФЗ ==

Отношение "поставка":

* {{Формула|f=SP}} - поставка.
** N - номер поставщика;
** PN - номер детали;
** kol - количество поставляемых деталей.

{| class="wikitable"
! SN || PN || kol
|- align="center"
| S1 || P1 || 100
|- align="center"
| S1 || P2 || 150
|- align="center"
| S2 || P1 || 50
|- align="center"
| S2 || P2 || 100
|- align="center"
| S3 || P2 || 200
|}

Определить, выполняется ли:
* {{Формула|f=SN\rightarrow kol}} - нет
* {{Формула|f=PN\rightarrow kol}} - нет
* {{Формула|f=(SN,PN)\rightarrow kol}} - да (оно первичный ключ)
* {{Формула|f=kol\rightarrow (SN,PN)}} - нет

== Задача №2 - Как выявлять ФЗ ==

Первый способ: на основании знания предметной области.

Второй способ: построением абстрактного экземпляра отношения, позволяющего понять семантику предметной области.

Предметную область зададим следующую: "график полётов".

График = (пилот, рейс, дата, время), сокращённо: {{Формула|f=\rho=(A,B,C,D)}}

Предпосылки:
* рейс может выполняться в разные дни, но в одно и то же время;
* два пилота не могут выполнять один и тот же рейс одновременно (самолёт однопилотный);
* у аэродрома всего одна взлётно-посадочная полоса.

Строим экземпляр отношения:

{| class="wikitable"
! A !! B !! C !! D
|- align="center"
| P1 || r1 || d1 || v1
|- align="center"
| P1 || r2 || d1 || v2
|- align="center"
| P1 || r1 || d2 || v1
|- align="center"
| P1 || r2 || d2 || v2
|- align="center"
| P2 || r1 || d3 || v1
|- align="center"
| P2 || r2 || d3 || v2
|- align="center"
| P2 || r3 || d1 || v3
|}

В принципе, если семантика более сложная, то можно ещё много добавить, но нам хватит этого.

=== Выявление всех ФЗ ===

Теперь по этому экземпляру надо выявить все ФЗ.

1) выписать все возможные ФЗ с одним атрибутом в левой части (в правой части всегда будет один атрибут):

{{Формула|f=A\rightarrow B}} - нет

{{Формула|f=A\rightarrow C}} - нет

{{Формула|f=A\rightarrow D}} - нет

{{Формула|f=B\rightarrow A}} - нет

{{Формула|f=B\rightarrow C}} - нет

{{Формула|f=B\rightarrow D}} - да

{{Формула|f=C\rightarrow A}} - нет

{{Формула|f=C\rightarrow B}} - нет

{{Формула|f=C\rightarrow D}} - нет

{{Формула|f=D\rightarrow A}} - нет

{{Формула|f=D\rightarrow B}} - да

{{Формула|f=D\rightarrow C}} - нет

2) выписать все возможные ФЗ с двумя атрибутами в левой части (в правой так же один):

{{Формула|f=AB\rightarrow C}} - нет

{{Формула|f=AB\rightarrow D}} - да

{{Формула|f=AC\rightarrow B}} - нет

{{Формула|f=AC\rightarrow D}} - нет

{{Формула|f=AD\rightarrow B}} - да

{{Формула|f=AD\rightarrow C}} - нет

{{Формула|f=BC\rightarrow A}} - да

{{Формула|f=BC\rightarrow D}} - да

{{Формула|f=BD\rightarrow A}} - нет

{{Формула|f=BD\rightarrow C}} - нет

{{Формула|f=CD\rightarrow A}} - да

{{Формула|f=CD\rightarrow B}} - да

3) выписать все возможные ФЗ с тремя атрибутами в левой части (в правой всё так же один):

{{Формула|f=ABC\rightarrow D}} - да

{{Формула|f=ABD\rightarrow C}} - нет

{{Формула|f=ACD\rightarrow B}} - да

{{Формула|f=BCD\rightarrow A}} - да

Теперь выписываем все ФЗ: {{Формула|f=F = (B\rightarrow D, D\rightarrow B, AB\rightarrow D, AD\rightarrow B, BC\rightarrow A, BC\rightarrow D, CD\rightarrow A, CD\rightarrow B, ABC\rightarrow D, ACD\rightarrow B, BCD\rightarrow A)}}

=== Выявление лишних ФЗ ===

Теперь надо выявить лишние ФЗ (которые выводятся из остальных):

* имеет ли место {{Формула|f=B\rightarrow D\in(F - B\rightarrow D)^+}}?

Строим замыкание левой части (все атрибуты, которые выводятся из {{Формула|f=B}}):

{{Формула|f=B^+ = B}}, так что {{Формула|f=D\notin B^+}}

Значит, {{Формула|f=B\rightarrow D\notin(F - B\rightarrow D)^+}}

* имеет ли место {{Формула|f=D\rightarrow B\in(F - D\rightarrow B)^+}}?

{{Формула|f=D^+ = D}}, так что {{Формула|f=B\notin D^+}}

* имеет ли место {{Формула|f=AB\rightarrow D\in(F - AB\rightarrow D)^+}}?

{{Формула|f=(AB)^+ = ABD}} и значит {{Формула|f=D\in (AB)^+}}

вычеркиваем: {{Формула|f=F = (B\rightarrow D, D\rightarrow B}} {{Формула|f=AB\rightarrow D}}, {{Формула|f=AD\rightarrow B, BC\rightarrow A, BC\rightarrow D, CD\rightarrow A, CD\rightarrow B, ABC\rightarrow D, ACD\rightarrow B, BCD\rightarrow A)}}

* имеет ли место {{Формула|f=AD\rightarrow B\in(F - AD\rightarrow B)^+}}?

{{Формула|f=(AD)^+ = ADB}} и значит {{Формула|f=B\in (AD)^+}}

вычеркиваем: {{Формула|f=F = (B\rightarrow D, D\rightarrow B}} {{Формула|f=AB\rightarrow D}}, {{Формула|f=AD\rightarrow B}}, {{Формула|f=BC\rightarrow A, BC\rightarrow D, CD\rightarrow A, CD\rightarrow B, ABC\rightarrow D, ACD\rightarrow B, BCD\rightarrow A)}}

* имеет ли место {{Формула|f=BC\rightarrow A\in(F - BC\rightarrow A)^+}}?

{{Формула|f=(BC)^+ = BCDA}} и значит {{Формула|f=A\in (BC)^+}}

вычеркиваем: {{Формула|f=F = (B\rightarrow D, D\rightarrow B}} {{Формула|f=AB\rightarrow D}}, {{Формула|f=AD\rightarrow B}}, {{Формула|f=BC\rightarrow A}}, {{Формула|f=BC\rightarrow D, CD\rightarrow A, CD\rightarrow B, ABC\rightarrow D, ACD\rightarrow B, BCD\rightarrow A)}}

* имеет ли место {{Формула|f=BC\rightarrow D\in(F - BC\rightarrow D)^+}}?

{{Формула|f=(BC)^+ = BCDA}} и значит {{Формула|f=D\in (BC)^+}}

вычеркиваем: {{Формула|f=F = (B\rightarrow D, D\rightarrow B}} {{Формула|f=AB\rightarrow D}}, {{Формула|f=AD\rightarrow B}}, {{Формула|f=BC\rightarrow A}}, {{Формула|f=BC\rightarrow D}}, {{Формула|f=CD\rightarrow A, CD\rightarrow B, ABC\rightarrow D, ACD\rightarrow B, BCD\rightarrow A)}}

* имеет ли место {{Формула|f=CD\rightarrow A\in(F - CD\rightarrow A)^+}}?

{{Формула|f=(CD)^+ = CDBA}} и значит {{Формула|f=D\in (CD)^+}}

вычеркиваем: {{Формула|f=F = (B\rightarrow D, D\rightarrow B}} {{Формула|f=AB\rightarrow D}}, {{Формула|f=AD\rightarrow B}}, {{Формула|f=BC\rightarrow A}}, {{Формула|f=BC\rightarrow D}}, {{Формула|f=CD\rightarrow A}}, {{Формула|f=CD\rightarrow B, ABC\rightarrow D, ACD\rightarrow B, BCD\rightarrow A)}}

* имеет ли место {{Формула|f=CD\rightarrow B\in(F - CD\rightarrow B)^+}}?

{{Формула|f=(CD)^+ = CDBA}} и значит {{Формула|f=B\in (CD)^+}}

вычеркиваем: {{Формула|f=F = (B\rightarrow D, D\rightarrow B}} {{Формула|f=AB\rightarrow D}}, {{Формула|f=AD\rightarrow B}}, {{Формула|f=BC\rightarrow A}}, {{Формула|f=BC\rightarrow D}}, {{Формула|f=CD\rightarrow A}}, {{Формула|f=CD\rightarrow B}}, {{Формула|f=ABC\rightarrow D, ACD\rightarrow B, BCD\rightarrow A)}}

* имеет ли место {{Формула|f=ABC\rightarrow D\in(F - ABC\rightarrow D)^+}}?

{{Формула|f=(ABC)^+ = ABCD}} и значит {{Формула|f=D\in (ABC)^+}}

вычеркиваем: {{Формула|f=F = (B\rightarrow D, D\rightarrow B}} {{Формула|f=AB\rightarrow D}}, {{Формула|f=AD\rightarrow B}}, {{Формула|f=BC\rightarrow A}}, {{Формула|f=BC\rightarrow D}}, {{Формула|f=CD\rightarrow A}}, {{Формула|f=CD\rightarrow B}}, {{Формула|f=ABC\rightarrow D}}, {{Формула|f=ACD\rightarrow B, BCD\rightarrow A)}}

* имеет ли место {{Формула|f=ACD\rightarrow B\in(F - ACD\rightarrow B)^+}}?

{{Формула|f=(ACD)^+ = ABCD}} и значит {{Формула|f=D\in (ABC)^+}}

вычеркиваем: {{Формула|f=F = (B\rightarrow D, D\rightarrow B}} {{Формула|f=AB\rightarrow D}}, {{Формула|f=AD\rightarrow B}}, {{Формула|f=BC\rightarrow A}}, {{Формула|f=BC\rightarrow D}}, {{Формула|f=CD\rightarrow A}}, {{Формула|f=CD\rightarrow B}}, {{Формула|f=ABC\rightarrow D}}, {{Формула|f=ACD\rightarrow B}}, {{Формула|f=BCD\rightarrow A)}}

* имеет ли место {{Формула|f=BCD\rightarrow A\in(F - BCD\rightarrow A)^+}}?

{{Формула|f=(BCD)^+ = BCD}}, так что {{Формула|f=A\notin (BCD)^+}}

Итоговая {{Формула|f=F = (B\rightarrow D, D\rightarrow B, BCD\rightarrow A)}}

=== Сокращение числа атрибутов ===

А нельзя ли теперь сократить атрибуты в левой части третьей ФЗ, которая {{Формула|f=BCD\rightarrow A}}?

Ну например, если {{Формула|f=X\rightarrow Y}}, а {{Формула|f=Z\subset X}} и {{Формула|f=Z\rightarrow Y}}, то {{Формула|f=Z\rightarrow Y}}

Ну и вот у нас:

1)

:{{Формула|f=BC\rightarrow A\in F^+}}?

:{{Формула|f=(BC)^+=BCDA}}

:{{Формула|f=F = (B\rightarrow D, D\rightarrow B, BC\rightarrow A}}

2)

:{{Формула|f=B\rightarrow A\in F^+}}?

:{{Формула|f=B^+=BD}}, значит {{Формула|f=A\notin B^+}}

3)

:{{Формула|f=C\rightarrow A\in F^+}}?

:{{Формула|f=C^+=C}}, значит {{Формула|f=A\notin C^+}}

Так что больше никак сократить нельзя, и итоговая будет {{Формула|f=F = (B\rightarrow D, D\rightarrow B, BC\rightarrow A)}}

=== Построение УНП ===

А теперь надо построить УНП для него:

1)

:{{Формула|f=G = (B\rightarrow D, D\rightarrow B, BC\rightarrow A)}}

2)

:{{Формула|f=B^+ = BD}}, {{Формула|f=B^+ - B = B}}

:{{Формула|f=D^+ = DB}}, {{Формула|f=D^+ - D = B}}

:{{Формула|f=(BC)^+ = BCAD}}, {{Формула|f=(BC)^+ - BC = AD}}

3) УНП получилось {{Формула|f=G = (B\rightarrow D, D\rightarrow B, BC\rightarrow AD)}}

[[Категория:Теоретические основы реляционной алгебры (9 семестр)|С]]
[[Категория:Конспекты лекций и семинаров]]