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

定　價(jià)：￥49.00

作　者：	馬垣
出版社：	清華大學(xué)出版社
叢編項(xiàng)：	中國(guó)計(jì)算機(jī)學(xué)會(huì)學(xué)術(shù)著作叢書
標(biāo)　簽：	關(guān)系數(shù)據(jù)庫(kù)

購(gòu)買這本書可以去

ISBN：	9787302111818	出版時(shí)間：	2005-09-01	包裝：	平裝
開本：	16開	頁(yè)數(shù)：	383	字?jǐn)?shù)：

內(nèi)容簡(jiǎn)介

　　本書系統(tǒng)介紹了非經(jīng)典關(guān)系數(shù)據(jù)庫(kù)理論的國(guó)際前沿成果及作者本人的研究成果，內(nèi)容包括約束關(guān)系模型、時(shí)態(tài)關(guān)系模型、空值關(guān)系模型、偏序關(guān)系模型、概率關(guān)系模型、對(duì)象關(guān)系模型、粗糙關(guān)系模型、關(guān)系中的說明性更新、關(guān)系中的相容與蘊(yùn)含及關(guān)系中的說明性擴(kuò)充等。本書是數(shù)據(jù)庫(kù)領(lǐng)域的學(xué)術(shù)專著，可作為高等院校計(jì)算機(jī)專業(yè)研究生或本科高年級(jí)學(xué)生的教材，也可作為相關(guān)專業(yè)科技工作者的參考書，對(duì)一般數(shù)據(jù)庫(kù)的研究及教學(xué)有很大的參考價(jià)值。本書前言序1998年3月我曾為馬垣的著作《關(guān)系數(shù)據(jù)庫(kù)理論》作序，那是我在學(xué)習(xí)和思考后，對(duì)關(guān)系數(shù)據(jù)庫(kù)和其他數(shù)據(jù)庫(kù)技術(shù)的發(fā)展形成的一些認(rèn)識(shí)。時(shí)隔6年，作者又有了新的著作《非經(jīng)典關(guān)系數(shù)據(jù)庫(kù)理論》，這是作者在數(shù)據(jù)庫(kù)理論研究領(lǐng)域辛勤耕耘的又一成果。關(guān)系數(shù)據(jù)庫(kù)從1970年誕生到現(xiàn)在已有30多年了。30多年來，它的應(yīng)用領(lǐng)域越來越廣，影響的范圍越來越大。2003年全世界關(guān)系數(shù)據(jù)庫(kù)年銷售額已達(dá)70億美元，根據(jù)IDC市場(chǎng)研究公司預(yù)測(cè)，2008年全世界關(guān)系數(shù)據(jù)庫(kù)年銷售額將達(dá)到200多億美元。關(guān)系數(shù)據(jù)庫(kù)之所以能如此快速的發(fā)展，究其原因就是它從誕生就得到了嚴(yán)格的理論指導(dǎo)與支持。1970年6月，IBM公司的高級(jí)研究員EdgarFrankCodd發(fā)表的論文“Arelationalmodelforlargeshareddatabanks”開創(chuàng)了關(guān)系數(shù)據(jù)庫(kù)的新時(shí)代。該論文于1983年被ACM列為1958年以來具有里程碑意義的25篇論文之一。1981年Codd獲圖靈獎(jiǎng)。關(guān)系數(shù)據(jù)庫(kù)和許多事物一樣也在與時(shí)俱進(jìn)。20世紀(jì)90年代以來，關(guān)系數(shù)據(jù)庫(kù)的研究領(lǐng)域及應(yīng)用領(lǐng)域（例如從數(shù)據(jù)庫(kù)發(fā)現(xiàn)知識(shí)領(lǐng)域）更加擴(kuò)大，提出了很多新思想，引出了很多新方向，取得了很多新成果。這些新思想、新方向、新成果全都遠(yuǎn)遠(yuǎn)超出了原來的經(jīng)典研究范圍，它們形成了前景非常廣闊的“非經(jīng)典關(guān)系數(shù)據(jù)庫(kù)”。目前，國(guó)內(nèi)外集中而系統(tǒng)地論述非經(jīng)典關(guān)系數(shù)據(jù)庫(kù)理論的書還非常少，《非經(jīng)典關(guān)系數(shù)據(jù)庫(kù)理論》一書是我國(guó)的第一部，是作者在其1999年的著作《關(guān)系數(shù)據(jù)庫(kù)理論》的基礎(chǔ)上撰寫的新的、全面反映非經(jīng)典關(guān)系數(shù)據(jù)庫(kù)理論的學(xué)術(shù)專著，其中也包括作者本人的成果。書中的內(nèi)容是目前非經(jīng)典關(guān)系數(shù)據(jù)庫(kù)理論的世界前沿，絕大多數(shù)內(nèi)容都是目前國(guó)內(nèi)外相關(guān)的書籍中沒有介紹過的。例如，該書研討的“單依賴”集合就是人們?cè)谘芯坎煌耆P(guān)系中函數(shù)依賴的可加性時(shí)提出的一種全新概念，是在20世紀(jì)90年代前國(guó)際上未曾研究過的。它的提出徹底解決了函數(shù)依賴的可加性問題。而更有意義的是，它還使經(jīng)典關(guān)系數(shù)據(jù)庫(kù)中的一些遺留問題有了答案。再如該書介紹的一種“二元關(guān)系約束”也是經(jīng)典關(guān)系數(shù)據(jù)庫(kù)中函數(shù)依賴、多值依賴、連接依賴、等值產(chǎn)生依賴、元組產(chǎn)生依賴等諸多約束都未能包括的全新約束。這種約束在實(shí)際應(yīng)用中的意義不亞于經(jīng)典關(guān)系數(shù)據(jù)庫(kù)中的約束。近些年來國(guó)內(nèi)外對(duì)具有復(fù)雜對(duì)象的時(shí)態(tài)關(guān)系進(jìn)行了很多的研究，各種成果也都超出了經(jīng)典關(guān)系理論的范疇，該書中均做了詳細(xì)的論述。粗糙關(guān)系、偏序關(guān)系、概率關(guān)系、對(duì)象關(guān)系等新的關(guān)系模型更是層出不窮，該書全面研究了這些關(guān)系模型，并對(duì)研究成果一一進(jìn)行了論述。該書內(nèi)容翔實(shí)，視野開闊。顯然，它的出版將會(huì)與國(guó)內(nèi)外學(xué)者的研究成果相輔相成，成為國(guó)內(nèi)同行研究工作中非常有用的武器，書中的最新成果對(duì)大家的工作都有很好的參考價(jià)值，并具有很好的啟發(fā)和幫助作用。不論在理論上，還是在實(shí)踐上，該書的出版都對(duì)我國(guó)關(guān)系數(shù)據(jù)庫(kù)的研究向更廣、更深的方向發(fā)展起到非常重要的作用。本書作者于20世紀(jì)70年代初開始從事編制計(jì)算機(jī)程序的工作，80年代初開始了對(duì)數(shù)據(jù)庫(kù)理論的研究，1989年出版了《VAX11網(wǎng)狀數(shù)據(jù)庫(kù)》一書，1999年出版了《關(guān)系數(shù)據(jù)庫(kù)理論》一書。作者原先在冶金部門工作，是在繁忙的工作之余從事數(shù)據(jù)庫(kù)理論研究的。這期間他不僅在工作上獲得了許多國(guó)家級(jí)及省部級(jí)獎(jiǎng)項(xiàng)，而且在《計(jì)算機(jī)學(xué)報(bào)》、《計(jì)算機(jī)工程》等刊物上發(fā)表了許多關(guān)系數(shù)據(jù)庫(kù)理論的論文。作為業(yè)余研究人員，他于1995年獲得了國(guó)家自然科學(xué)基金資助。作者現(xiàn)于鞍山科技大學(xué)計(jì)算機(jī)科學(xué)與工程學(xué)院擔(dān)任研究生導(dǎo)師。他從一個(gè)業(yè)余研究人員成為本領(lǐng)域卓有成就的執(zhí)著的專業(yè)研究人員，這在國(guó)內(nèi)是少見的，他那種鍥而不舍、刻苦鉆研的精神值得我們敬佩與學(xué)習(xí)。我祝賀這本書的出版，并高興地把這本書推薦給廣大讀者。祝我國(guó)的數(shù)據(jù)庫(kù)理論研究人才輩出，祝我國(guó)的數(shù)據(jù)庫(kù)實(shí)際應(yīng)用欣欣向榮。

作者簡(jiǎn)介

暫缺《非經(jīng)典關(guān)系數(shù)據(jù)庫(kù)理論》作者簡(jiǎn)介

圖書目錄

第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路徑相容與對(duì)稱7
1.2廣義關(guān)系代數(shù)7
1.2.1布爾代數(shù)7
1.2.2廣義關(guān)系代數(shù)的定義8
1.2.3K定理.表征.簡(jiǎn)單關(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ù)庫(kù)的查詢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ù)雜對(duì)象的時(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ù)庫(kù)保序自同構(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章對(duì)象關(guān)系模型227
6.1經(jīng)典關(guān)系理論與面向?qū)ο笏枷?27
6.1.1經(jīng)典關(guān)系數(shù)據(jù)庫(kù)設(shè)計(jì)方法227
6.1.2經(jīng)典關(guān)系理論對(duì)面向?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對(duì)象模型“依賴”的公理系統(tǒng)243
6.5對(duì)象模型規(guī)范化244
6.5.1實(shí)例244
6.5.2對(duì)象模型247
6.5.3對(duì)象范式250
6.5.4規(guī)范化的規(guī)則252
6.5.5規(guī)則的完備性255
6.6對(duì)象范式的設(shè)計(jì)方法256
6.6.1修改模式法256
6.6.2生成對(duì)象結(jié)構(gòu)法257
6.6.3分解與合成算法258
第7章粗糙關(guān)系模型279
7.1粗糙集的基本概念279
7.2粗糙關(guān)系數(shù)據(jù)庫(kù)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ù)庫(kù)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