《非經典關係資料庫理論》系統介紹了非經典關係資料庫理論的國際前沿成果及作者本人的研究成果，內容包括約束關係模型、關係中的說明性更新、關係中的相容與蘊含及關係中的說明性擴充等。
基本介紹
- 書名：非經典關係資料庫理論
- 作者：馬垣
- ISBN：9787302111818
- 類別：圖書 > 計算機與網際網路 > 資料庫
- 出版社：清華大學出版社
- 出版時間：2005-09-01
- 裝幀：平裝
基本信息,內容簡介,目錄,
基本信息
作 者：馬垣 著 叢 書 名：出 版 社：清華大學出版社ISBN：9787302111818 出版時間：2005-09-01 版 次：1 頁 數：383 裝 幀：平裝 開 本：所屬分類：圖書 > 計算機與網際網路 > 資料庫
內容簡介
《非經典關係資料庫理論》系統介紹了非經典關係資料庫理論的國際前沿成果及作者本人的研究成果，內容包括約束關係模型、時態關係模型、空值關係模型、偏序關係模型、機率關係模型、對象關係模型、粗糙關係模型、關係中的說明性更新、關係中的相容與蘊含及關係中的說明性擴充等。
本書是資料庫領域的學術專著，可作為高等院校計算機專業研究生或本科高年級學生的教材，也可作為相關專業科技工作者的參考書，對一般資料庫的研究及教學有很大的參考價值。
目錄
第1章約束關係模型1
1.1二元約束關係1
1.1.1形式化定義3
1.1.2約束關係運算4
1.1.3約束矩陣4
1.1.4約束矩陣的運算5
1.1.5路徑相容與對稱7
1.2廣義關係代數7
1.2.1布爾代數7
1.2.2廣義關係代數的定義8
1.2.3K定理、表征、簡單關係代數8
1.2.4原子11
1.2.5等價元素及“z廣義關係代數”11
1.3廣義關係代數的實例12
1.3.1點代數12
1.3.2區間代數13
1.3.3包含代數17
1.3.4硬代數18
1.4廣義關係代數上的矩陣18
1.4.1原子RA矩陣及原始可解性21
1.4.2解答21
1.4.3原始可解性與解之間的關係21
1.4.4最小示蹤22
1.5約束關係模型在查詢最佳化中的套用25
1.5.1關係資料庫的查詢25
1.5.2不等式合取查詢與點代數27
1.5.3二元約束矩陣的變換29
1.5.4不等式合取查詢極小化31
1.5.5二元約束矩陣的全部原始解34
1.6在其他領域的套用36
1.6.1計算機視覺36
1.6.2圖著色39
第2章時態關係模型42
2.1具有複雜對象的時態關係42
2.2實例46
2.3時間模型48
2.3.1時間關係48
2.3.2時間關係的WIJSEN基48
2.3.3時態類型50
2.3.4時態類型的細偏序格51
2.4數據模型51
2.4.1模式與時態實例51
2.4.2模式依賴圖（SDG）53
2.4.3有效時間與事務時間54
2.5時態函式依賴54
2.5.1時態函式依賴實例54
2.5.2時態函式依賴的形式化定義55
2.5.3時態函式依賴的公理系統55
2.6無迴路模式56
2.6.1S公理及S蘊含56
2.6.2閉包59
2.7約束線性時間序列62
2.7.1整體細化與TFDX公理62
2.7.2約束實例64
2.8迴路模式65
2.8.1Twin關係65
2.8.2有限與無限約束65
2.8.3無約束蘊含的完備性66
第3章空值關係模型70
3.1不完全關係及函式依賴的可加性70
3.2形式化定義73
3.3可滿足性74
3.4LienAtzeni公理系統及“單依賴”集合75
3.5“單依賴”集合與可加性的重要聯繫86
3.6最小函式依賴集合與最優函式依賴集合93
3.6.1“分特性”與“交特性”109
3.6.2周年特徵集合與複合函式依賴116
3.6.3“單依賴”集合的構造理論126
3.7“單依賴”的K基數關鍵字127
3.7.1分特性時關鍵字多項式算法130
3.7.2分特性與交特性時主屬性多項式算法134
3.8交特性時2NF=3NF=BCNF139
3.9“單依賴”時無損連線的分解一定無損依賴141
第4章偏序關係模型153
4.1偏序數據域上的關係153
4.2形式化定義156
4.2.1點態序及字典序156
4.2.2序關係模式與序關係157
4.3序關係運算157
4.3.16種基本運算158
4.3.2資料庫保序自同構160
4.3.3查詢、可計算性、序域、序代數的層次170
4.3.4關係的內部層次及OSQL語言176
4.3.5OSQL在樹結構、時態、不完全信息中的套用183
4.3.6OSQL的完整語法185
4.4序函式依賴187
4.4.1點態序函式依賴及字典序函式依賴187
4.4.2點態序函式依賴有效完備公理系統189
4.4.3字典序函式依賴的追趕算法192
4.4.4“模型關係”及字典序函式依賴推導規則197
4.4.5點態序字典序聯合函式依賴200
第5章機率關係模型203
5.1機率關係的基本思想203
5.1.1聯合分布與邊緣分布204
5.1.2機率選擇、機率投影和機率連線205
5.1.3信念修改與並、差運算208
5.2機率關係及其運算的形式化210
5.2.1PLUS合併、MAX合併及機率關係210
5.2.2內部完整性約束與參考完整性約束212
5.2.3包含“條件運算”及“α截取”的關係代數213
5.2.4機率關係代數的封閉性及兼容性217
5.2.5機率關係查詢220
5.3包含空值的機率關係221
5.3.1空缺機率223
5.3.2N次值矩與空值Ω224
第6章對象關係模型227
6.1經典關係理論與面向對象思想227
6.1.1經典關係資料庫設計方法227
6.1.2經典關係理論對面向對象的不適應228
6.2用於規範化的面向對象數據模型230
6.2.1數據模型230
6.2.2依賴與聚集、聯合、繼承233
6.2.3垂直路徑、水平路徑及組合路徑234
6.2.4投影代數235
6.3面向對象數據模型中的“依賴”238
6.3.1路徑依賴238
6.3.2局部依賴239
6.3.3整體依賴241
6.3.4路徑關鍵字242
6.4對象模型“依賴”的公理系統243
6.5對象模型規範化244
6.5.1實例244
6.5.2對象模型247
6.5.3對象範式250
6.5.4規範化的規則252
6.5.5規則的完備性255
6.6對象範式的設計方法256
6.6.1修改模式法256
6.6.2生成對象結構法257
6.6.3分解與合成算法258
第7章粗糙關係模型279
7.1粗糙集的基本概念279
7.2粗糙關係資料庫281
7.3粗糙關係查詢284
7.4粗糙關係運算287
7.4.1粗糙差287
7.4.2粗糙並289
7.4.3粗糙交290
7.4.4粗糙選擇291
7.4.5粗糙投影292
7.4.6粗糙連線293
7.5粗糙運算符的性質296
7.6粗糙關係中的信息熵297
1.1二元約束關係1
1.1.1形式化定義3
1.1.2約束關係運算4
1.1.3約束矩陣4
1.1.4約束矩陣的運算5
1.1.5路徑相容與對稱7
1.2廣義關係代數7
1.2.1布爾代數7
1.2.2廣義關係代數的定義8
1.2.3K定理、表征、簡單關係代數8
1.2.4原子11
1.2.5等價元素及“z廣義關係代數”11
1.3廣義關係代數的實例12
1.3.1點代數12
1.3.2區間代數13
1.3.3包含代數17
1.3.4硬代數18
1.4廣義關係代數上的矩陣18
1.4.1原子RA矩陣及原始可解性21
1.4.2解答21
1.4.3原始可解性與解之間的關係21
1.4.4最小示蹤22
1.5約束關係模型在查詢最佳化中的套用25
1.5.1關係資料庫的查詢25
1.5.2不等式合取查詢與點代數27
1.5.3二元約束矩陣的變換29
1.5.4不等式合取查詢極小化31
1.5.5二元約束矩陣的全部原始解34
1.6在其他領域的套用36
1.6.1計算機視覺36
1.6.2圖著色39
第2章時態關係模型42
2.1具有複雜對象的時態關係42
2.2實例46
2.3時間模型48
2.3.1時間關係48
2.3.2時間關係的WIJSEN基48
2.3.3時態類型50
2.3.4時態類型的細偏序格51
2.4數據模型51
2.4.1模式與時態實例51
2.4.2模式依賴圖（SDG）53
2.4.3有效時間與事務時間54
2.5時態函式依賴54
2.5.1時態函式依賴實例54
2.5.2時態函式依賴的形式化定義55
2.5.3時態函式依賴的公理系統55
2.6無迴路模式56
2.6.1S公理及S蘊含56
2.6.2閉包59
2.7約束線性時間序列62
2.7.1整體細化與TFDX公理62
2.7.2約束實例64
2.8迴路模式65
2.8.1Twin關係65
2.8.2有限與無限約束65
2.8.3無約束蘊含的完備性66
第3章空值關係模型70
3.1不完全關係及函式依賴的可加性70
3.2形式化定義73
3.3可滿足性74
3.4LienAtzeni公理系統及“單依賴”集合75
3.5“單依賴”集合與可加性的重要聯繫86
3.6最小函式依賴集合與最優函式依賴集合93
3.6.1“分特性”與“交特性”109
3.6.2周年特徵集合與複合函式依賴116
3.6.3“單依賴”集合的構造理論126
3.7“單依賴”的K基數關鍵字127
3.7.1分特性時關鍵字多項式算法130
3.7.2分特性與交特性時主屬性多項式算法134
3.8交特性時2NF=3NF=BCNF139
3.9“單依賴”時無損連線的分解一定無損依賴141
第4章偏序關係模型153
4.1偏序數據域上的關係153
4.2形式化定義156
4.2.1點態序及字典序156
4.2.2序關係模式與序關係157
4.3序關係運算157
4.3.16種基本運算158
4.3.2資料庫保序自同構160
4.3.3查詢、可計算性、序域、序代數的層次170
4.3.4關係的內部層次及OSQL語言176
4.3.5OSQL在樹結構、時態、不完全信息中的套用183
4.3.6OSQL的完整語法185
4.4序函式依賴187
4.4.1點態序函式依賴及字典序函式依賴187
4.4.2點態序函式依賴有效完備公理系統189
4.4.3字典序函式依賴的追趕算法192
4.4.4“模型關係”及字典序函式依賴推導規則197
4.4.5點態序字典序聯合函式依賴200
第5章機率關係模型203
5.1機率關係的基本思想203
5.1.1聯合分布與邊緣分布204
5.1.2機率選擇、機率投影和機率連線205
5.1.3信念修改與並、差運算208
5.2機率關係及其運算的形式化210
5.2.1PLUS合併、MAX合併及機率關係210
5.2.2內部完整性約束與參考完整性約束212
5.2.3包含“條件運算”及“α截取”的關係代數213
5.2.4機率關係代數的封閉性及兼容性217
5.2.5機率關係查詢220
5.3包含空值的機率關係221
5.3.1空缺機率223
5.3.2N次值矩與空值Ω224
第6章對象關係模型227
6.1經典關係理論與面向對象思想227
6.1.1經典關係資料庫設計方法227
6.1.2經典關係理論對面向對象的不適應228
6.2用於規範化的面向對象數據模型230
6.2.1數據模型230
6.2.2依賴與聚集、聯合、繼承233
6.2.3垂直路徑、水平路徑及組合路徑234
6.2.4投影代數235
6.3面向對象數據模型中的“依賴”238
6.3.1路徑依賴238
6.3.2局部依賴239
6.3.3整體依賴241
6.3.4路徑關鍵字242
6.4對象模型“依賴”的公理系統243
6.5對象模型規範化244
6.5.1實例244
6.5.2對象模型247
6.5.3對象範式250
6.5.4規範化的規則252
6.5.5規則的完備性255
6.6對象範式的設計方法256
6.6.1修改模式法256
6.6.2生成對象結構法257
6.6.3分解與合成算法258
第7章粗糙關係模型279
7.1粗糙集的基本概念279
7.2粗糙關係資料庫281
7.3粗糙關係查詢284
7.4粗糙關係運算287
7.4.1粗糙差287
7.4.2粗糙並289
7.4.3粗糙交290
7.4.4粗糙選擇291
7.4.5粗糙投影292
7.4.6粗糙連線293
7.5粗糙運算符的性質296
7.6粗糙關係中的信息熵297
7.6.1精確度與粗糙度297
7.6.2粗糙模式熵297
7.6.3粗糙關係熵298
第8章關係中的說明性更新301
8.1更新運算301
8.1.1包含動態原子的謂詞公式302
8.1.2外展、緊緻等價與緊緻模型303
8.2資料庫NDBPTIME變換及相應的圖靈機307
8.3動態關係及更新代數312
8.3.1動態關係312
8.3.2動態關係上的運算314
8.3.3更新代數317
8.4更新的解318
8.4.1動態查詢的解318
8.4.2動態查詢的某些特殊情況320
8.4.3從動態表達式到動態查詢322
第9章關係中的相容與蘊含324
9.1問題的提出324
9.2從Rosenkrantz到Ullman再到Gou等人的複雜度研究326
9.3相容問題328
9.3.1OP┐≠相容問題328
9.3.2OPall相容問題334
9.4蘊含問題335
9.4.1OP┐≠蘊含問題335
9.4.2KlugUllman公理系統與OPall蘊含問題338
第10章關係中的說明性擴充347
10.1模型框架347
10.2“序”、“前輟”、“擴充”與“抽取”349
10.3特定的幾何擴充351
10.4幾何關係代數實例352
10.5說明性可擴充代數353
10.5.1語法格式說明353
10.5.2描述性代數及可執行代數354
10.5.3包括索引結構的可執行代數355
10.6可擴充系統的構成359
10.6.1查詢計算的層次結構359
10.6.2可擴充的數據類型361
10.6.3可執行運算符的擴充362
10.6.4規則的擴充與存入363
參考文獻367
