Quiz 5 (Final) Flashcards
Armstrongs Axioms
Rules or algebra of FDs incluing Reflexivity, Augmentation, Transitivity, Union, and Decomposition
Boyce-Codd Normal Form
For every FD X -> A in F, A is an element of X; that is, it is a trivial FD, or X is a superkey
Closure
Set of all FDs implied by a given set of FDs
Decomposition
Breaking a relation into two or more separate relations
Dependency Preserving Decomposition
Decomposition in which all dependencies are preserved
Functional Dependency (FD)
A kind of integrity constraint - generalizes the idea of a key - an attribute or set of attributes determines another attribute(s)
Integrity Constraint
Conditions that records in a relation must meet, restricts the data that can be stored in an instance of the database
Lossless Join Decomposition
Decomposition in which no information is lost
Third Normal Form
For every FD X -> A in F, A is an element of X; that is, it is a trivial FD, or X is a superkey, or A is part of some key for R
Superkey
A set of columns that include a minimal key plus other non-key columns
Reflexivity
If X is a superset of Y, then X -> (determines) Y
Augmentation
If X -> (determines) Y, then XZ -> YZ for any Z
Transitivity
If X -> (determines) Y and Y -> Z, then X -> Z
Union
If X -> (determines) Y and X -> Z, then X -> YZ
Decomposition
If X -> (determines) YZ, then X -> Y and X -> Z