Elementary key normal form

Elementary key normal form (EKNF) is a subtle enhancement on third normal form, thus EKNF tables are in 3NF by definition. This happens when there is more than one unique compound key and they overlap. Such cases can cause redundant information in the overlapping column(s).

A table is in EKNF if and only if all its elementary functional dependencies begin at whole keys or end at elementary key attributes. For every full non-trivial functional dependency of the form X→Y, either X is a key or Y is (a part of) an elementary key.[1]

In this definition, an elementary functional dependency is a full functional dependency (a non-trivial functional dependency X → A such that there is no functional dependency X' → A that also holds with X' being a strict subset of X), and an elementary key is a key X for which there exists an attribute A such that X → A is an elementary functional dependency.

EKNF was defined by Carlo Zaniolo in 1982.[1]

Example

For an example of a table whose highest normal form is EKNF, see Boyce–Codd normal form#Achievability of BCNF.

Notes
  1. Zaniolo, Carlo (September 1982). "A New Normal Form for the Design of Relational Database Schemata" (PDF). ACM Transactions on Database Systems. 7 (3).
gollark: Scarier possibility: what if the people voting for them DO care, a lot, and genuinely think that the people they vote for have better policy or something?
gollark: According to random vaguely plausible things on the internet, our strong reactions to politics are derived from the situation during human evolution, when humans were in small tribes and you could directly affect things and they could strongly and directly affect *you*.
gollark: In local ones you can do more, but nobody cares about those.
gollark: You can vote, but in widescale elections you have a very low chance of shifting the outcomes.
gollark: I mean, you can't substantially affect it.

References
  • Halpin, T. A.; Morgan, Antony J.; Morgan, Tony. Information Modeling and Relational Databases.
  • Date, C. J. "Elementary key normal form (EKNF)". Database Design and Relational Theory.
  • Celko, Joe. SQL for Smarties: Advanced SQL Programming (3rd ed.).


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.