For example, let us suppose that if we have to check that whether if a particular functional dependency α → β holds, then rather in other words whether α → β is in the closure of the set of functional dependencies F, then all that we need to do is to compute α+ that is a closure of the set of attributes on the left hand side of the dependency and check if β is a subset of that.
உதாரணமாக, ஒரு குறிப்பிட்ட பங்க்ஷனல் டிபென்டென்சி , α → β, ஹோல்ட்ஸ் ஆக உள்ளதா என்பதை நாம் சரிபார்க்க வேண்டும். அதாவது வேறு வார்த்தைகளில், பங்க்ஷனல் டிபென்டென்சி α → β, பங்க்ஷனல் டிபென்டென்சி செட் , F-இன், க்ளோஸரில் உள்ளதா என்பதை நாம் சரிபார்க்க வேண்டும் என்றால், நாம் செய்ய வேண்டியது α+ -ஐக் கணக்கிடுவது ஆகும். α+ டிபென்டென்சியின் இடது புறத்தில் உள்ள அட்ரிபியூட்களின் க்ளோஸர் செட் ஆகும். β என்பது α+ -இன் சப்செட் ஆக இருக்கிறதா என்று சரிபார்க்க வேண்டும்.