Lecture 2 - Functional Dependency Flashcards
What is functional dependency?
is a formal metric of the degree of goodness of relational schema.
-> functional dependency is a constraint derived from the relationship between attributes
What is functional dependency in simple terms?
Given a relation, an attribute X functionally determines an attribute
Y, if a value of X determines a unique value for Y. i.e. X can determine Y
Notation for functional dependency (e.g. X to Y)?
X->Y
Mathematical form of functional dependency?
for any two tuples t1 and t2:
If t1[X] = t2[X] then t1[Y] = t2[Y]
Functional dependency is specific over how many tuples in a relation?
All of them
Candidate Key Principle of FD?
If K is a Candidate Key, then K should functionally determine
all attributes in relation R
Decomposition rule for FD?
If X -> {Y,Z} then X -> Y and X -> Z
Additive rule for FD?
If X -> Y and X -> Z then X -> {Y,Z}
Transitive rule for FD?
If X → Y and Y → Z then X → Z
Reflexive rule for FD?
If Y ⊆ X then X → Y
Augmentation rule for FD?
If X → Y then X U {Z} → Y U {Z}
What does -> mean?
implication
What does <-> mean?
equivalence