To compute a canonical cover for F:

To compute a canonical cover for F:repeat Use the union rule to replace any dependencies in F 1  1 and 1  2 with 1  1 2  Find a functional dependency    with an  extraneous attribute either in  or in   If an extraneous attribute is found, delete it from    until F does not change
Note: Union rule may become applicable after some extraneous attributes have been deleted, so it has to be re-applied

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

การคำนวณครอบคลุมมาตรฐานสำหรับ F:ทำซ้ำ ใช้กฎสหภาพเพื่อแทนการอ้างอิงใด ๆ ใน F 2  1 กับ 1  1 2 และ 1  1 หน้าที่อ้างอิงกับแอตทริบิวต์ที่ไม่เกี่ยวข้องการค้นหาใน หรือในถ้าพบแอตทริบิวต์ที่ไม่เกี่ยวข้อง ลบจากจนกว่าไม่มีการเปลี่ยนแปลง F
หมายเหตุ: สหภาพกฎอาจใช้หลังจากที่ถูกลบ บางแอตทริบิวต์ที่ไม่เกี่ยวข้องดังนั้นจึงมีการใช้