So, what you do is something very simple. You want to say, you want to check whether this is preserved. So, we start with the left hand side and compute the closure. The only difference you compute the closure first with the set of functional dependencies projected on R1, that is F1, the set closure set that you get, you take that and compute its closure with respect to the second set of functional dependencies F2.
ఇక్కడ మనం చేయవలసిన ఒక సులభమైన పని ఏమిటంటే ఒకవేళ డిపెండెన్సీలు ప్రిసర్వ అయ్యాయా లేదా అని ఇపుడు మనం ఎడమ వైపు నుండి మొదలు పెట్టి క్లోజర్ ను కంప్యూట్ చేద్దాం ఇక్కడ ఒక తేడా ఏమిటంటే ఫంక్షనల్ డిపెండెన్సీ F1 అనేది రిలేషన్ R1నుంచి ప్రొజెక్ట్ అయిన దాని క్లోజర్ ను మనం కంప్యూట్ చేయాలి. ఆ క్లోజర్ ను తీసుకొని రెండవ ఫంక్షనల్ డిపెండెన్సీ ను కంప్యూట్ చేయాలి.