So, if I have a functional dependency, let us say α → β and I have an attribute A ꞓ α, then we can check whether it is possible to remove A from α.
நம்மிடம் ஒரு பங்க்ஷனல் டிபென்டென்சி α → β, இருக்கிறது என்று எடுத்துக்கொள்வோம். அதில் ஒரு அட்ரிபியூட் , A, A ꞓ α உள்ளது. இப்போது α -விலிருந்து A-ஐ அகற்ற முடியுமா என்று சோதிக்கலாம்.