What is meant by functional dependencies?
Consider a relation schema R and α C R and β C R. The functional dependency α ->β holds on relational schema R if in any legal relation r(R), for all pairs of tuples t_{1} and t_{2} in r like t1 [α] =t2 [α], and also t_{1} [β] =t_{2} [β].