基本介紹
- 中文名:泛關係假設
- 外文名:Universal Relation Assumption
- 目的:獲得完全的存取路徑獨立性
- 拼音:FanGuanXiJiaShe
假設簡介,泛關係模式,規範化處理,
假設簡介
傳統的數據依賴有兩個基本假設:泛關係假設(the universal relation assumption)和在關係中不能使用空值。
所謂泛關係假設就是表示所描述的數據的全體能用一個關係來表述。因此,把單一的關係模式稱之為泛關係模式,其當前值稱之為泛實例;那么所分解了的關係模式稱之為資料庫模式,其當前值稱之為數據實例。
在實際使用中,常常是採用資料庫模式,其存儲信息也是存儲在資料庫實例中的,以便達到消除存儲冗餘、消除更新導致異常的目的。根據關係模型資料庫理論中值域·元組·投影等定義和函式依賴(Functional Dependency記為FD)關係形式化定義以及滿足,來形式地描述帶標誌的空值 。
泛關係模式
設有關係模式R(U),屬性集為U,R1、···、Rk都是U的子集,並且有R1∪R2∪…∪RK=U。關係模式R1、···、Rk的集合用ρ表示, 。這裡我們把R(U)稱為泛關係模式,稱為資料庫模式。用代替R的過程稱為關係模式的分解,是關係模式的一個分解。R對應的當前值稱為泛關係。資料庫模式ρ對應的當前值稱為資料庫實例,它是由資料庫模式中的每一個關係模式的當前值組成的。資料庫中每一個關係都是全部屬性構成的關係的投影,此時由全部屬性構成的關係稱為泛關係。
泛關係模型的目的在於獲得完全的存取路徑獨立性。為了使泛關係模型能夠較好地工作,要求資料庫滿足一些基本假設。
泛關係理論允許把現實問題的所有屬性組成一個泛關係模式R(U)來加以分析,資料庫模式中的每一個關係都是全部屬性所構成的泛關係的投影,用戶對資料庫的操作在泛關係上進行。這實質上隱含了一個假設,即脫離具體的關係來討論屬性是有意義的。泛關係理論成為自底向上(Bottom-Up)的關係資料庫規範化設計方法的理論依據。
泛關係概念作為關係資料庫理論的一個重要分支已逐漸發展起來。起初,它作為關係資料庫設計理論中關係模式的設計工具而被引入。近年來,人們開始認識到它在數據模型方而的作用,提出了泛關係模型和泛關係資料庫。
規範化處理
衡量關係模式好壞的標準是模式的範式(NormalForm),範式的種類與數據依賴有直接的聯繫,規範化的基本思想是逐步消除數據依賴中不合適的部分,消除各類操作異常,減少數據的冗餘。
泛關係模式的規範化處理通過對模式的分解來實現。一般地,關係模式R相對於函式依賴集F分解成資料庫模式:{Rl,R2,⋯ ,Rk},應具有三個特性:①是BCNF模式集或3NF模式集,②無損連線分解,③保持函式依賴集F。其中①使分解後的關係模式概念趨向單一,以清除冗餘和操作異常,②和③可以用來衡量模式分解前後關係模式是否保持數據等價及語義等價。