I find that it indeed is and again you can use transitivity to get here or can use attribute closure and finally, I get that the set of the original set F is covered by a canonical set where just you have A → B and B → C.
అది కూడా ఎక్స్ట్రానియస్ అవుతుందని గమనించవచ్చు ట్రాన్సిటివిటి ని ఉపయోగించవచ్చు లేదా ఆట్రిబ్యూట్ క్లోజర్ ను ఉపయోగించవచ్చు. మనకు ఇపుడు ఒరిజినల్ సెట్ F కెనోనికల్ కవర్ తో కలిపి లభిస్తుంది. అవి A→ B మరియు B→ C