BCNF（Boyce-Codd Normal Form）範式是一種關係資料庫模型，用於描述關係資料庫表的規範化程度。在BCNF範式下，一個關係R滿足BCNF若且唯若對於所有非平凡函式依賴（FD），如果存在一個超鍵集{A1, A2, ..., An}，使得所有非平凡函式依賴A1, A2, ..., An → B都成立，那麼{A1, A2, ..., An}必須是關係R的超鍵集。這意味著在BCNF範式下，每個非平凡函式依賴的左邊必須是超鍵集的一部分，因為超鍵集不必是最小的，所以每個非平凡函式依賴的左邊都必須包含鍵。
分解到BCNF範式的過程可以通過所謂的左右圓法來實現。首先，尋找違反BCNF範式的非平凡函式依賴A → B，然後將其右端屬性集添加到A中，形成新的函式依賴A → B ∪ A。接著，將關係模式分解為兩部分：一部分是新的函式依賴A → B ∪ A的左端A和右端屬性集，另一部分是新的函式依賴A → B ∪ A未包括的所有屬性。這樣，關係模式就分解到了BCNF範式。