Normal Forms Flashcards
key
If K is a key in r, k functionally determines all attributes in r
Cover
- F covers G iff the closure of G is a subset of the closure of f
- every FD in G can be inferred from F
Equality
Closure of F = Closure of G
Minimal Set
- Use IR 4 (X->YZ is X->Y and X->Z)
- No extraneous attributes on left hand side
- No FD’s that can be inferred
Minimal Cover
Minimal set of FD’s that is equivalent to F
Superkey
A set of attributes S subset-of R such that no 2 tuples t1 and t2 in any legal relation state r in R, will have t1[S] = t2[S].
Key
Superkey but if u remove any attribute it will no longer be a super key (minimal Superkey).
candidate key
If a relation schema has more than one key each is called a candidate key
primary and secondary keys
Candidate key is arbitrarily designated to be a primary key and then secondary keys are the remaining.
Prime Attribute/non-prime attribute
- member of some candidate key
- not a member of any candidate key
1NF
All attributes depend on the key
- no composite, and multivalued attributes and no nested relations
2NF
is already in 1NF
Every non-prime attribute is fully dependent on every key
3NF
every non prime in R is
- already in 2NF
- not transitively dependent on every key in R
BCNF
whenever an FD X->A holds in R, X is a superkey
implies already in 3NF
loseless preservation property/non-additive join
asfdasdf