第六正規化
外觀
關係數據庫設計的第六範式 (6NF),是數據庫規範化的級別,根據克里斯托佛·達特的基於關係代數的定義,[1][2][3]關係算符(relational operator),如連接(join)可以推廣到自然處理間隔數據(interval data),如日期序列或時間間隔, 例如時間數據庫。[4][2][3] 第六範式基於這種推廣的join:
數據庫的一個關係R滿足第六範式,當且僅當R沒有非平凡連接依賴。平凡的連接依賴是指R的至少一個投影(projections)包含R的一個候選鍵。[5]
顯然,第五範式是第六範式的特例。
第六範式適合使用了間隔數據的時態數據庫。進一步討論,參見Temporal Aggregation in SQL[6]。其他方法見TSQL2。[7] 一些數據倉庫建模已經採用第六範式,[8]如Anchor Modeling。
參考文獻
[編輯]- ^ Date, Darwen & Lorentzos 2003.
- ^ 2.0 2.1 Date, Darwen & Lorentzos 2014.
- ^ 3.0 3.1 Harrington 2009,第125–126頁.
- ^ Date, Darwen & Lorentzos 2003,第141–160頁.
- ^ Date, Darwen & Lorentzos 2003,第176頁.
- ^ Zimanyi 2006.
- ^ Snodgrass.
- ^ See the Anchor Modeling website (頁面存檔備份,存於網際網路檔案館) for a website that describes a data warehouse modelling method based on the sixth normal form