BCNF เป็นส่วนขยายของ Third Normal Form (3NF) และแข็งแกร่งกว่า 3NF เล็กน้อย Q เป็นการพึ่งพาฟังก์ชันเล็กน้อย และ P เป็น superkey สำหรับ R หากความสัมพันธ์อยู่ใน BCNF แสดงว่ามีการลบความซ้ำซ้อนตามการพึ่งพาฟังก์ชันออก แต่ความซ้ำซ้อนบางส่วนยังคงอยู่ มาดูตัวอย่างกัน − พื้น Begin_Time End_Time แ