Now to make sure R is in BCNF, we mute make sure that the left hand side of every functional dependency in F is one of the Keys. We instantly know this is not the case, because the first FD is Z ->B and Z is not one of the keys. So it is not in BCNF
ตอนนี้ให้แน่ใจว่า R อยู่ใน BCNF เราปิดเสียงให้แน่ใจว่า ด้านซ้ายของการอ้างอิงทุกงานในตัว เรารู้ทันทีนี้กรณีไม่ได้ เพราะ FD แรก Z -> B และ Z ไม่ใช่คีย์ ดังนั้นจึงไม่ได้อยู่ใน BCNF
ตอนนี้เพื่อให้แน่ใจว่า R คือใน BCNF เราใบ้ให้แน่ใจว่าทางด้านซ้ายมือของทุกพึ่งพาการทำงานในเอฟเป็นหนึ่งในกุญแจ เราทันทีรู้ว่านี่ไม่ใช่กรณีเพราะแรกคือ FD Z -> B และ Z ไม่ได้เป็นหนึ่งในกุญแจ ดังนั้นจึงไม่ได้อยู่ใน BCNF
ตอนนี้เพื่อให้แน่ใจว่า R อยู่ใน bcnf เราใบ้ให้แน่ใจว่า มือข้างซ้ายของทุกฟังก์ชันการอ้างอิงใน F เป็นหนึ่งในกุญแจ เราได้รู้ว่ากรณีนี้ไม่ได้ เพราะก่อน FD เป็น Z - > B และ Z ไม่ได้เป็นหนึ่งในกุญแจ มันไม่ได้อยู่ใน bcnf