BC正規形式

Boyce-Codd範式（英語：Boyce-Codd normal form，縮寫BCNF），是數據庫規範化的一種正規形式。是在第三範式的基礎上加上稍微更嚴格約束，每個BCNF關係需滿足第三範式。BCNF去除了屬性間的不必要的函數依賴。

BCNF的定義是：

如果對於關係模式R中存在的任意一個非平凡函數依賴X->A，都滿足X是R的一個超鍵，那麼關係模式R就屬於BCNF。

對上述定義，可以理解為：平凡函數依賴關係是指，如果屬性集合X包含了屬性集合A，那麼就一定有X->A；超鍵是指能夠唯一確定表中各行的屬性集合，因此一個超鍵的最小化就是一個候選鍵；BCNF是說，如果一個屬性集合X能「不平凡」地推導出另一個屬性集合A，而且X還不能唯一區分表的各行，那麼這個表中一定包含了一些冗餘信息。

BCNF與第三範式的不同之處在於：第三範式中不允許非主屬性被另一個非主屬性決定，但第三範式允許主屬性被非主屬性決定；而在BCNF中，任何屬性（包括非主屬性和主屬性）都不能被非主屬性所決定。

任何一個BCNF必然滿足：

所有非主屬性都完全函數依賴於每個候選鍵
所有主屬性都完全函數依賴於每個不包含它的候選鍵
沒有任何屬性完全函數依賴於非候選鍵的任何一組屬性

範例

關係模式R：

Property_id#(主鍵)	County_name	Lot#	Area

其中依賴關係如下：

{Property_id#}　　　->{County_name,Lot#,Area};

{County_name,Lot#} ->{Property_id#,Area};

{Area} 　　　　　　 ->{County_name};

很明顯最後一個依賴違反了BC範式的要求，Area不是關係模式R的主鍵，而依賴於它的County_name是能夠決定其他屬性的主屬性。故應當規範化為：

Property_id#(主鍵)	Area	Lot#

Area(主鍵)	County_name

參考文獻

Litt's Tips: Normalization（頁面存檔備份，存於網際網路檔案館）
Rules Of Data Normalization
Temporal Data & the Relational Model Archive.is的存檔，存檔日期2012-12-09 (1st ed.). Morgan Kaufmann. ISBN 1-55860-855-9.Date, C. J., & Lorentzos, N., & Darwen, H. (2002).
An Introduction to Database Systems (8th ed.). Addison-Wesley Longman. ISBN 0-321-19784-4. Date, C. J. (1999),
A Simple Guide to Five Normal Forms in Relational Database Theory（頁面存檔備份，存於網際網路檔案館）, Communications of the ACM, vol. 26, pp. 120-125 Kent, W. (1983)
Database Debunkings（頁面存檔備份，存於網際網路檔案館） Date, C.J., & Darwen, H., & Pascal, F.
H.-J. Schek, P.Pistor Data Structures for an Integrated Data Base Management and Information Retrieval System

外部連結

Database Normalization Basics（頁面存檔備份，存於網際網路檔案館） by Mike Chapple (About.com)
An Introduction to Database Normalization by Mike Hillyer.
Normalization by ITS, University of Texas.
A tutorial on the first 3 normal forms by Fred Coulson
Free PDF poster available by Marc Rettig
Description of the database normalization basics（頁面存檔備份，存於網際網路檔案館） by Microsoft