So, we are trying to show the forward direction in the first case and the reverse direction in the first case, but the only difference that I wanted to highlight is in terms of showing that you do not need to really explore on the Armstrong's Axioms, but what you can do is, you can simply take the left hand side attribute and compute it closure and see whether the right hand side is included.
మనం ఫార్వర్డ్ డైరెక్షన్ మరియు రివర్స్ డైరెక్షన్ లో మొదటి సందర్భాన్ని విపులీకరిద్దాం. ఇక్కడ మనం గుర్తుంచుకోవలసిన విషయం ఏమిటంటే మనం ఇక్కడ ఆర్మ్ స్ట్రాంగ్ ఆంక్సియోమ్స్ నియమాలను వాడవలసిన అవసరం లేదు. మనం చేయవలసిన సులభమైన ప్రక్రియ ఏమిటంటే ఎడమ చేతి వైపు ఉన్న ఆట్రిబ్యూట్ ను తీసుకొని దానిని కుడిచేతి వైపు ఉన్న ఆట్రిబ్యూట్ తో గణన చేసి అది పాల్గొంటుందో లేదో తెలుసుకోవాలి.