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 t1 and t2 in r like t1 [α] =t2 [α], and also t1 [β] =t2 [β].