So, there is another example following here where I have another set given, where if we look into this, I would like to check whether I can get rid of this C on the left hand side and as it stands, we can actually do that and here in this whole process, I have shown it in terms of using the Armstrong's Axioms how you can prove this, but what we can do to systematize this whole process, we can again make use of the notion of closure of attributes and compute whether these two sets are equivalent, whether simplification can be done.
అందువల్ల, ఇక్కడ మరో ఉదాహరణ ఉంది, ఇక్కడ నేను మరో సెట్ ని కలిగి ఉన్నాను, ఇక్కడ మనం దీనిని పరిశీలిస్తే, నేను ఈ C ని ఎడమచేతి వైపు నుంచి తొలగించగలనా లేదా అని చెక్ చేయాలని అనుకుంటున్నాను మరియు ఇది ఎలా ఉంది, మనము వాస్తవానికి ఈ మొత్తం ప్రక్రియలో, ఆర్మ్స్ట్రాంగ్ ఆక్సియోమ్స్ ఉపయోగించి ఎలా నిరూపించగలను అనే దానిని చూపించాను. , కానీ ఈ మొత్తం ప్రక్రియను వ్యవస్థీకరించడానికి మనం ఏమి చేయగలం, ఆట్రిబ్యూట్స్ యొక్క క్లొజర్ సెట్ అనే విషయాన్ని మళ్లీ మనం ఉపయోగించి మరియు ఈ రెండు సెట్ లు సమానమా లేదా సరళీకరణ చేయవచ్చా అని మనం గణన చేయవచ్చు.