We can check for testing functional dependencies because if we have to check whether a functional dependency α→ β hold, all that we will have to do is to compute the closure of the set of attributes α that is α+ and check whether β is a subset that.
இதை பயன்படுத்தி பங்க்ஷனல் டிபென்டென்சிகளை நாம் சரிபார்க்கலாம்; ஒரு பங்க்ஷனல் டிபென்டென்சி α→ β ஹோல்ட்ஸா என்பதைச் சரிபார்க்க வேண்டுமானால், நாம் செய்ய வேண்டியதெல்லாம், அட்ரிபியூட் செட்டின் க்ளோஸர் α+ -ஐ கணக்கிட்டு, β சப்குரூப்பா என்பதை சரிபார்க்கவும்.