Functional Dependencies
integrity constraints that can be used to identify schemas with such problems and to suggest refinements
decomposition
splitting a table into multiple smaller tables
R (A, B, C, D) -> S(A, B) and T (B, C, D)
lossless property
nonadditive join property
information contained in the original relation is preserved.
nothing added or removed
MUST MAINTAIN ALWAYS
dependency preservation property
every functional dependency (FDs) in the original relation is present in one of the decomposed relations
can sometimes break this
determinants
RHS {A, B, C}
dependent
-> D
FD shortcut
If not present on RHS has to be in key