科德十二定律，又稱黃金十二定律，是計(jì)算機(jī)數(shù)據(jù)庫中的一條定律，包括使數(shù)據(jù)庫管理系統(tǒng)關(guān)系化需滿足的十三條（從0至12）準(zhǔn)則。
科德十二定律（Codd's 12 rules）
由數(shù)據(jù)庫的關(guān)系模型的先驅(qū)E. F. Codd（Edgar F. Codd）提出的，使數(shù)據(jù)庫管理系統(tǒng)關(guān)系化需滿足的十三條（從0至12）準(zhǔn)則。又稱為“黃金十二定律”。
全關(guān)系系統(tǒng)十二準(zhǔn)則
全關(guān)系系統(tǒng)應(yīng)該完全支持關(guān)系模型的所有特征。關(guān)系模型的奠基人埃德加·科德具體地給出了全關(guān)系系統(tǒng)應(yīng)遵循的基本準(zhǔn)則。
準(zhǔn)則0
一個(gè)關(guān)系形的關(guān)系數(shù)據(jù)庫系統(tǒng)必須能完全通過它的關(guān)系能力來管理數(shù)據(jù)庫。
準(zhǔn)則1 信息準(zhǔn)則
關(guān)系數(shù)據(jù)庫系統(tǒng)的所有信息都應(yīng)該在邏輯一級上用表中的值這一種方法顯式的表示。
準(zhǔn)則2 保證訪問準(zhǔn)則
依靠表名、主碼和列名的組合，保證能以邏輯方式訪問關(guān)系數(shù)據(jù)庫中的每個(gè)數(shù)據(jù)項(xiàng)。
準(zhǔn)則3 空值的系統(tǒng)化處理
全關(guān)系的關(guān)系數(shù)據(jù)庫系統(tǒng)支持空值的概念，并用系統(tǒng)化的方法處理空值。
準(zhǔn)則4 基于關(guān)系模型的動(dòng)態(tài)的聯(lián)機(jī)數(shù)據(jù)字典
數(shù)據(jù)庫的描述在邏輯級上和普通數(shù)據(jù)采用同樣的表述方式。
準(zhǔn)則5 統(tǒng)一的數(shù)據(jù)子語言
一個(gè)關(guān)系數(shù)據(jù)庫系統(tǒng)可以具有幾種語言和多種終端訪問方式，但必須有一種語言，它的語句可以表示為嚴(yán)格語法規(guī)定的字符串，并能全面的支持各種規(guī)則。
準(zhǔn)則6 視圖更新準(zhǔn)則
所有理論上可更新的視圖也應(yīng)該允許由系統(tǒng)更新。
準(zhǔn)則7 高級的插入、修改和刪除操作
系統(tǒng)應(yīng)該對各種操作進(jìn)行查詢優(yōu)化。
準(zhǔn)則8 數(shù)據(jù)的物理獨(dú)立性
無論數(shù)據(jù)庫的數(shù)據(jù)在存儲(chǔ)表示或存取方法上作任何變化，應(yīng)用程序和終端活動(dòng)都保持邏輯上的不變性。
準(zhǔn)則9 數(shù)據(jù)邏輯獨(dú)立性
當(dāng)對基本關(guān)系進(jìn)行理論上信息不受損害的任何改變時(shí)，應(yīng)用程序和終端活動(dòng)都保持邏輯上的不變性。
準(zhǔn)則10 數(shù)據(jù)完整的獨(dú)立性
關(guān)系數(shù)據(jù)庫的完整性約束條件必須是用數(shù)據(jù)庫語言定義并存儲(chǔ)在數(shù)據(jù)字典中的。
準(zhǔn)則11 分布獨(dú)立性
關(guān)系數(shù)據(jù)庫系統(tǒng)在引入分布數(shù)據(jù)或數(shù)據(jù)重新分布時(shí)保持邏輯不變。
準(zhǔn)則12 無破壞準(zhǔn)則
如果一個(gè)關(guān)系數(shù)據(jù)庫系統(tǒng)具有一個(gè)低級語言，那么這個(gè)低級語言不能違背或繞過完整性準(zhǔn)則。
參考資料 >