Similar thing can be done for checking if there is an extraneous attribute on the right hand side of a dependency and in this case, naturally what we will need to do is, we will need to work out the simpler set and then check whether F is implied by that because as you can understand that if you are making the left hand, if you are removing an attribute from the left hand side, then you are making your precondition softer.
ஒரு டிபென்டென்சியின் வலது புறத்தில் ஒரு எக்ஸ்ட்ரானியஸ் அட்ரிபியூட் இருக்கிறதா என்று சோதிக்கவும் இதேபோன்ற காரியத்தைச் செய்யலாம். இந்த விஷயத்தில் இயற்கையாகவே நாம் செய்ய வேண்டியது என்னவென்றால், முதலில் எளிமையான செட்டை உருவாக்க வேண்டும். பின்னர், F இம்ப்ளைஸா என்பதை சரிபார்க்க வேண்டும்.