நம்மிடம் ஒரு பங்க்ஷனல் டிபென்டென்சி α → β, இருக்கிறது என்று எடுத்துக்கொள்வோம். அதில் ஒரு அட்ரிபியூட் , A, A ꞓ α உள்ளது. இப்போது α -விலிருந்து A-ஐ அகற்ற முடியுமா என்று சோதிக்கலாம்.
ఒకవేళ నాకు ఒక ఫంక్షనల్ డిపెండెన్సీ α β అందులో ఒక ఆట్రిబ్యూట్ A ꞓ α, అపుడు మనం A అనే ఆట్రిబ్యూట్ ను నుండి తొలగించటానికి వీలు పడుతుందా లేదా అని తనిఖీ చేయాలి.