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 అనే ఆట్రిబ్యూట్ ను నుండి తొలగించటానికి వీలు పడుతుందా లేదా అని తనిఖీ చేయాలి.