Check if the result of deleting A f

Check if the result of deleting A from AB  C is implied by the other dependencies
Yes: in fact, B  C is already present!
Set is now {A  BC, B  C}
C is extraneous in A  BC
Check if A  C is logically implied by A  B and the other dependencies
Yes: using transitivity on A  B and B  C.
Can use attribute closure of A in more complex cases
The canonical cover is: A  B B  C

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

ตรวจสอบถ้าผลลัพธ์ของการลบ A จาก AB  C โดยนัย โดยอ้างอิงอื่น ๆ
ใช่: ในความเป็นจริง B  C อยู่แล้ว!
ชุดขณะนี้ { A  BC, B  C }
C จะไม่เกี่ยวข้องใน BC
ตรวจสอบถ้า C เป็นนัยทางตรรกะ โดย B และความสัมพันธ์อื่น ๆ
ใช่: ใช้ transitivity  B และ B  C.
สามารถใช้ปิดแอตทริบิวต์ของ A ในกรณีที่ซับซ้อน
ฝาครอบมาตรฐาน:  B B  C


คือไม่เกี่ยวข้องใน AB  C