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 -ஐக் கொண்டிருப்போம். இந்த செட் , ஒரிஜினல் செட்டால் லாஜிக்கலி இம்ப்ளை செய்யப்படுகிறது.