FD Test Algorithm

• Step 1) Sort the tuples of r(R) on the A attributes

• Step 2) Check that tuples with equal A values also have equal B values

• If step 2 fails then the functional dependency (FD) is not satisfied; otherwise A → B