For example, let us suppose that if we have to check that whether if a particular functional dependency α → β holds, then rather in other words whether α → β is in the closure of the set of functional dependencies F, then all that we need to do is to compute α+ that is a closure of the set of attributes on the left hand side of the dependency and check if β is a subset of that.
ఉదాహారణకు ఒక α --> β అనేది ఫంక్షనల్ డిపెండెన్సీని తృప్తి పరుస్తుందా లేదా అని పరీక్షించాలి అనుకుందాం దానికన్నా α --> β ఇది ఫంక్షనల్ డిపెండెన్సీ క్లోజర్ సెట్ F లో ఉందా లేదా అని పరీక్షిద్దాం. మనం చేయవలసిందల్లా α+ పరీక్షించడమే. ఆట్రిబ్యూట్స్ యొక్క క్లోజర్ సెట్ లోని ఎడమ వైపు డిపెండెన్సీ ని పరీక్షించాలి మరియు β అనేది సబ్ సెట్ అవునా కాదా అని పరీక్షించాలి.