A canonical cover for F is a set of

A canonical cover for F is a set of dependencies Fc such that
F logically implies all dependencies in Fc, and
Fc logically implies all dependencies in F, and
No functional dependency in Fc contains an extraneous attribute, and
Each left side of functional dependency in Fc is unique

ผลลัพธ์ (ไทย) 1:

ปกมาตรฐานสำหรับ F คือ ชุดของความสัมพันธ์ของ Fc ที่
F เหตุผลหมายถึงการอ้างอิงทั้งหมดใน Fc และ
Fc ตรรกะหมายถึงการอ้างอิงทั้งหมดใน F และ
อ้างไม่ทำงานในสโมสรประกอบด้วยแอตทริบิวต์ที่ไม่เกี่ยวข้อง และ
แต่ละด้านซ้ายของการอ้างอิงที่ทำงานในสโมสรฟุตบอลที่ไม่ซ้ำกัน