非經(jīng)典關(guān)系數(shù)據(jù)庫理論

第1章約束關(guān)系模型1
1.1二元約束關(guān)系1
1.1.1形式化定義3
1.1.2約束關(guān)系運(yùn)算4
1.1.3約束矩陣4
1.1.4約束矩陣的運(yùn)算5
1.1.5路徑相容與對稱7
1.2廣義關(guān)系代數(shù)7
1.2.1布爾代數(shù)7
1.2.2廣義關(guān)系代數(shù)的定義8
1.2.3K定理.表征.簡單關(guān)系代數(shù)8
1.2.4原子11
1.2.5等價(jià)元素及“z廣義關(guān)系代數(shù)”11
1.3廣義關(guān)系代數(shù)的實(shí)例12
1.3.1點(diǎn)代數(shù)12
1.3.2區(qū)間代數(shù)13
1.3.3包含代數(shù)17
1.3.4硬代數(shù)18
1.4廣義關(guān)系代數(shù)上的矩陣18
1.4.1原子RA矩陣及原始可解性21
1.4.2解答21
1.4.3原始可解性與解之間的關(guān)系21
1.4.4最小示蹤22
1.5約束關(guān)系模型在查詢優(yōu)化中的應(yīng)用25
1.5.1關(guān)系數(shù)據(jù)庫的查詢25
1.5.2不等式合取查詢與點(diǎn)代數(shù)27
1.5.3二元約束矩陣的變換29
1.5.4不等式合取查詢極小化31
1.5.5二元約束矩陣的全部原始解34
1.6在其他領(lǐng)域的應(yīng)用36
1.6.1計(jì)算機(jī)視覺36
1.6.2圖著色39
第2章時(shí)態(tài)關(guān)系模型42
2.1具有復(fù)雜對象的時(shí)態(tài)關(guān)系42
2.2實(shí)例46
2.3時(shí)間模型48
2.3.1時(shí)間關(guān)系48
2.3.2時(shí)間關(guān)系的WIJSEN基48
2.3.3時(shí)態(tài)類型50
2.3.4時(shí)態(tài)類型的細(xì)偏序格51
2.4數(shù)據(jù)模型51
2.4.1模式與時(shí)態(tài)實(shí)例51
2.4.2模式依賴圖（SDG）53
2.4.3有效時(shí)間與事務(wù)時(shí)間54
2.5時(shí)態(tài)函數(shù)依賴54
2.5.1時(shí)態(tài)函數(shù)依賴實(shí)例54
2.5.2時(shí)態(tài)函數(shù)依賴的形式化定義55
2.5.3時(shí)態(tài)函數(shù)依賴的公理系統(tǒng)55
2.6無回路模式56
2.6.1公理及蘊(yùn)含56
2.6.2閉包59
2.7約束線性時(shí)間序列62
2.7.1整體細(xì)化與TFDX公理62
2.7.2約束實(shí)例64
2.8回路模式65
2.8.1Twin關(guān)系65
2.8.2有限與無限約束65
2.8.3無約束蘊(yùn)含的完備性66
第3章空值關(guān)系模型70
3.1不完全關(guān)系及函數(shù)依賴的可加性70
3.2形式化定義73
3.3可滿足性74
3.4Lien-Atzeni公理系統(tǒng)及“單依賴”集合75
3.5“單依賴”集合與可加性的重要聯(lián)系86
3.6最小函數(shù)依賴集合與最優(yōu)函數(shù)依賴集合93
3.6.1“分特性”與“交特性”109
3.6.2周年特征集合與復(fù)合函數(shù)依賴116
3.6.3“單依賴”集合的構(gòu)造理論126
3.7“單依賴”的K基數(shù)關(guān)鍵字127
3.7.1分特性時(shí)關(guān)鍵字多項(xiàng)式算法130
3.7.2分特性與交特性時(shí)主屬性多項(xiàng)式算法134
3.8交特性時(shí)2NF=3NF=BCNF139
3.9“單依賴”時(shí)無損連接的分解一定無損依賴141
第4章偏序關(guān)系模型153
4.1偏序數(shù)據(jù)域上的關(guān)系153
4.2形式化定義156
4.2.1點(diǎn)態(tài)序及字典序156
4.2.2序關(guān)系模式與序關(guān)系157
4.3序關(guān)系運(yùn)算157
4.3.16種基本運(yùn)算158
4.3.2數(shù)據(jù)庫保序自同構(gòu)160
4.3.3查詢.可計(jì)算性.序域.序代數(shù)的層次170
4.3.4關(guān)系的內(nèi)部層次及OSQL語言176
4.3.5OSQL在樹結(jié)構(gòu).時(shí)態(tài).不完全信息中的應(yīng)用183
4.3.6OSQL的完整語法185
4.4序函數(shù)依賴187
4.4.1點(diǎn)態(tài)序函數(shù)依賴及字典序函數(shù)依賴187
4.4.2點(diǎn)態(tài)序函數(shù)依賴有效完備公理系統(tǒng)189
4.4.3字典序函數(shù)依賴的追趕算法192
4.4.4“模型關(guān)系”及字典序函數(shù)依賴推導(dǎo)規(guī)則197
4.4.5點(diǎn)態(tài)序字典序聯(lián)合函數(shù)依賴200
第5章概率關(guān)系模型203
5.1概率關(guān)系的基本思想203
5.1.1聯(lián)合分布與邊緣分布204
5.1.2概率選擇.概率投影和概率連接205
5.1.3信念修改與并.差運(yùn)算208
5.2概率關(guān)系及其運(yùn)算的形式化210
5.2.1PLUS合并.MAX合并及概率關(guān)系210
5.2.2內(nèi)部完整性約束與參考完整性約束212
5.2.3包含“條件運(yùn)算”及“α截取”的關(guān)系代數(shù)213
5.2.4概率關(guān)系代數(shù)的封閉性及兼容性217
5.2.5概率關(guān)系查詢220
5.3包含空值的概率關(guān)系221
5.3.1空缺概率223
5.3.2N次值矩與空值Ω224
第6章對象關(guān)系模型227
6.1經(jīng)典關(guān)系理論與面向?qū)ο笏枷?27
6.1.1經(jīng)典關(guān)系數(shù)據(jù)庫設(shè)計(jì)方法227
6.1.2經(jīng)典關(guān)系理論對面向?qū)ο蟮牟贿m應(yīng)228
6.2用于規(guī)范化的面向?qū)ο髷?shù)據(jù)模型230
6.2.1數(shù)據(jù)模型230
6.2.2依賴與聚集.聯(lián)合.繼承233
6.2.3垂直路徑.水平路徑及組合路徑234
6.2.4投影代數(shù)235
6.3面向?qū)ο髷?shù)據(jù)模型中的“依賴”238
6.3.1路徑依賴238
6.3.2局部依賴239
6.3.3整體依賴241
6.3.4路徑關(guān)鍵字242
6.4對象模型“依賴”的公理系統(tǒng)243
6.5對象模型規(guī)范化244
6.5.1實(shí)例244
6.5.2對象模型247
6.5.3對象范式250
6.5.4規(guī)范化的規(guī)則252
6.5.5規(guī)則的完備性255
6.6對象范式的設(shè)計(jì)方法256
6.6.1修改模式法256
6.6.2生成對象結(jié)構(gòu)法257
6.6.3分解與合成算法258
第7章粗糙關(guān)系模型279
7.1粗糙集的基本概念279
7.2粗糙關(guān)系數(shù)據(jù)庫281
7.3粗糙關(guān)系查詢284
7.4粗糙關(guān)系運(yùn)算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粗糙運(yùn)算符的性質(zhì)296
7.6粗糙關(guān)系中的信息熵297
7.6.1精確度與粗糙度297
7.6.2粗糙模式熵297
7.6.3粗糙關(guān)系熵298
第8章關(guān)系中的說明性更新301
8.1更新運(yùn)算301
8.1.1包含動(dòng)態(tài)原子的謂詞公式302
8.1.2外展.緊致等價(jià)與緊致模型303
8.2數(shù)據(jù)庫NDBPTIME變換及相應(yīng)的圖靈機(jī)307
8.3動(dòng)態(tài)關(guān)系及更新代數(shù)312
8.3.1動(dòng)態(tài)關(guān)系312
8.3.2動(dòng)態(tài)關(guān)系上的運(yùn)算314
8.3.3更新代數(shù)317
8.4更新的解318
8.4.1動(dòng)態(tài)查詢的解318
8.4.2動(dòng)態(tài)查詢的某些特殊情況320
8.4.3從動(dòng)態(tài)表達(dá)式到動(dòng)態(tài)查詢322
第9章關(guān)系中的相容與蘊(yùn)含324
9.1問題的提出324
9.2從Rosenkrantz到Ullman再到Gou等人的復(fù)雜度研究326
9.3相容問題328
9.3.1OP┐≠相容問題328
9.3.2OPall相容問題334
9.4蘊(yùn)含問題335
9.4.1OP┐≠蘊(yùn)含問題335
9.4.2Klug-Ullman公理系統(tǒng)與OPall蘊(yùn)含問題338
第10章關(guān)系中的說明性擴(kuò)充347
10.1模型框架347
10.2“序”.“前輟”.“擴(kuò)充”與“抽取”349
10.3特定的幾何擴(kuò)充351
10.4幾何關(guān)系代數(shù)實(shí)例352
10.5說明性可擴(kuò)充代數(shù)353
10.5.1語法格式說明353
10.5.2描述性代數(shù)及可執(zhí)行代數(shù)354
10.5.3包括索引結(jié)構(gòu)的可執(zhí)行代數(shù)355
10.6可擴(kuò)充系統(tǒng)的構(gòu)成359
10.6.1查詢計(jì)算的層次結(jié)構(gòu)359
10.6.2可擴(kuò)充的數(shù)據(jù)類型361
10.6.3可執(zhí)行運(yùn)算符的擴(kuò)充362
10.6.4規(guī)則的擴(kuò)充與存入363
參考文獻(xiàn)367