So, to test that what we do is, we form a newset by removing the original functional dependency and adding the new functional dependency where the left hand side does not have that A and if F logically → this, then certainly we can conclude that A on the left hand side of the functional dependency was extraneous.
நாம் என்ன செய்கிறோம் என்பதை சோதிக்க, ஒரிஜினல் பங்க்ஷனல் டிபென்டென்சியை அகற்றி விட்டு, இடது புறத்தில் A இல்லாமல் இருக்கும் ஒரு புதிய பங்க்ஷனல் டிபென்டென்சியைச் சேர்ப்பதன் மூலம் புதிய செட்டை உருவாக்குகிறோம். இப்போது, F, லாஜிக்கலி இம்ப்ளைஸ் புதிய செட் என்றால், பங்க்ஷனல் டிபென்டென்சியின் இடது புறத்தில் A என்பது எக்ஸ்ட்ரானியஸ் ஆனது என்று நாம் முடிவு செய்யலாம்.