ФЗ в декомпозированной структуре
. В структуре БД, состоящей из отношений SC, P, J, SPJ, CS объявлены[28] следующие ФЗ:
| S# ® Sn; | P# ® Pn; | J# ® Jn; | A ® Qt; | S.Ci ® St. |
| ||||
| S# ® St; | P# ® We; | J# ® J.Ci; | |||||||
| S# ® S.Сi; | P# ® Co; | ||||||||
| P# ® P.Ci; |
Из них выводятся все остальные ФЗ, указанные в п.11.3.1. Например, поскольку атрибут S#
принадлежит множеству A
и является детерминантом ФЗ S# ® S.Сi, то A ® S.Ci.
Во всех отношениях этой структуры имеются только объявленные ФЗ. Именно, каждый неключевой атрибут любого отношения функционально зависит только от полного возможного ключа. Аномалии обновления данных в этой структуре невозможны.
