數(shù)據(jù)庫系統(tǒng)面向應(yīng)用的方法

內(nèi)容概要

　　《數(shù)據(jù)庫系統(tǒng)：面向應(yīng)用的方法（第2版）》主要講解數(shù)據(jù)庫設(shè)計(jì)、實(shí)現(xiàn)及其應(yīng)用的基本原理，側(cè)重于介紹如何利用數(shù)據(jù)庫來創(chuàng)建應(yīng)用程序，而不是如何創(chuàng)建數(shù)據(jù)庫管理系統(tǒng)本身。書中反映了數(shù)據(jù)庫領(lǐng)域研究的最新進(jìn)展，包括最新的SQL標(biāo)準(zhǔn)、UML、XML、面向?qū)ο髷?shù)據(jù)庫和數(shù)據(jù)庫性能調(diào)優(yōu)等。本書的主要內(nèi)容包括關(guān)系數(shù)據(jù)模型、用ER圖和UML建模、關(guān)系代數(shù)和SQL、數(shù)據(jù)庫設(shè)計(jì)、SQL DBMS、查詢處理和優(yōu)化、數(shù)據(jù)庫調(diào)優(yōu)、事務(wù)處理以及與事務(wù)處理的實(shí)現(xiàn)有關(guān)的軟件工程問題等?！　”緯m合作為高等院校計(jì)算機(jī)及相關(guān)專業(yè)本科生和研究生數(shù)據(jù)庫課程的教材。

作者簡介

作者：(美)Michael Kifer Arthur Bernstein (美)Philip M.Lewis 譯者：陳立軍 趙加奎 邱海艷 等Michael Kifer畢業(yè)于莫斯科大學(xué)數(shù)學(xué)系，曾任教于多倫多大學(xué)。他的研究領(lǐng)域包括數(shù)據(jù)庫系統(tǒng)、知識(shí)表示和Web信息系統(tǒng)，在這些領(lǐng)域著述甚豐，他是著名的知識(shí)表示語言F-logic的發(fā)明者。

書籍目錄

第一部分　簡介第1章　數(shù)據(jù)庫和事務(wù)概述　21.1　什么是數(shù)據(jù)庫和事務(wù)　21.2　現(xiàn)代數(shù)據(jù)庫和事務(wù)處理系統(tǒng)的特性　41.3　數(shù)據(jù)庫和事務(wù)處理系統(tǒng)的實(shí)現(xiàn)和支持中的主要角色　51.4　決策支持系統(tǒng)——OLAP和OLTP　6第2章　綜述　82.1　案例學(xué)習(xí)：學(xué)生選課系統(tǒng)　82.2　關(guān)系數(shù)據(jù)庫緒論　82.3　使程序成為事務(wù)——ACID屬性　12參考文獻(xiàn)注解　15習(xí)題　15第二部分　數(shù)據(jù)庫管理第3章　關(guān)系數(shù)據(jù)模型　203.1　什么是數(shù)據(jù)模型　203.2　關(guān)系模型　223.2.1　基本概念　223.2.2　完整性約束　263.3　SQL的數(shù)據(jù)定義子語言　293.3.1　定義關(guān)系類型　303.3.2　系統(tǒng)目錄　303.3.3　碼約束　313.3.4　處理缺失信息　313.3.5　語義約束　323.3.6　用戶定義的域　343.3.7　外碼約束　353.3.8　反應(yīng)性約束　363.3.9　數(shù)據(jù)庫視圖　383.3.10　修改已有定義　393.3.11　SQL模式　403.3.12　訪問控制　41參考文獻(xiàn)注解　43習(xí)題　43第4章　用E-R圖和UML構(gòu)建數(shù)據(jù)庫的概念模型　464.1　用E-R方法進(jìn)行概念建?！?64.2　實(shí)體和實(shí)體類型　474.3　聯(lián)系和聯(lián)系類型　484.4　概念數(shù)據(jù)建模中的高級(jí)特性　524.4.1　實(shí)體類型層次　524.4.2　參與約束　544.4.3　part of聯(lián)系　554.5　從E-R圖到關(guān)系數(shù)據(jù)庫模式　574.5.1　實(shí)體的表示法　574.5.2　聯(lián)系的表示法　584.5.3　在關(guān)系模型中表示IsA層次　604.5.4　參與約束的表示法　614.5.5　part of聯(lián)系的表示法　63*4.6　UML：一種新方法　634.6.1　在UML中表示實(shí)體　644.6.2　在UML中表示聯(lián)系　654.6.3　UML中的高級(jí)建模概念　684.6.4　轉(zhuǎn)換為SQL　704.7　一個(gè)經(jīng)紀(jì)公司的例子　704.7.1　實(shí)體-聯(lián)系設(shè)計(jì)　70*4.7.2　UML設(shè)計(jì)　734.8　案例學(xué)習(xí)：學(xué)生注冊(cè)系統(tǒng)的數(shù)據(jù)庫設(shè)計(jì)　744.8.1　需求文檔的數(shù)據(jù)庫部分　744.8.2　數(shù)據(jù)庫設(shè)計(jì)　754.9　數(shù)據(jù)建模方法的局限性　79參考文獻(xiàn)注解　81習(xí)題　82第5章　關(guān)系代數(shù)和SQL　845.1　關(guān)系代數(shù)：SQL的秘密　845.1.1　基本運(yùn)算符　855.1.2　導(dǎo)出運(yùn)算符　915.2　SQL的查詢子語言　975.2.1　簡單SQL查詢　975.2.2　集合運(yùn)算　1015.2.3　嵌套查詢　1035.2.4　量化謂詞　1075.2.5　數(shù)據(jù)上的聚集　1085.2.6　FROM子句中的連接表達(dá)式　1125.2.7　一個(gè)簡單的查詢求值算法　1135.2.8　再談SQL中的視圖　1145.2.9　物化視圖　1175.2.10　NULL值的兩難問題　1195.3 在 SQL中修改關(guān)系實(shí)例　1205.3.1　插入數(shù)據(jù)　1205.3.2　刪除數(shù)據(jù)　1215.3.3　更新現(xiàn)有的數(shù)據(jù)　1225.3.4　視圖上的更新　122參考文獻(xiàn)注解　124習(xí)題　124第6章　用關(guān)系規(guī)范化理論設(shè)計(jì)數(shù)據(jù)庫　1276.1　冗余問題　1276.2　分解　1286.3　函數(shù)依賴　1306.4　函數(shù)依賴的特性　1326.5　范式　1366.5.1　Boyce Codd范式　1366.5.2　第三范式　1386.6　分解的特性　1396.6.1　無損分解和有損分解　1406.6.2　保持依賴分解　1426.7　BCNF分解的一個(gè)算法　1446.8　3NF模式的合成　1466.8.1　最小覆蓋　1466.8.2　通過模式合成進(jìn)行3NF分解　1486.8.3　通過3NF合成得到BCNF分解　1496.9　第四范式　151*6.10　高級(jí)4NF設(shè)計(jì)　1556.10.1　MVD及它們的特性　1556.10.2　4NF的設(shè)計(jì)難點(diǎn)　1566.10.3　如何進(jìn)行4NF分解　1586.11　范式分解總結(jié)　1596.12　案例學(xué)習(xí)：學(xué)生注冊(cè)系統(tǒng)的模式細(xì)化　1596.13　調(diào)優(yōu)問題：分解還是不分解　161參考文獻(xiàn)注解　162習(xí)題　162第7章　觸發(fā)器和主動(dòng)數(shù)據(jù)庫　1657.1　什么是觸發(fā)器　1657.2　觸發(fā)器處理中的語義問題　1667.3　SQL∶1999中的觸發(fā)器　1687.4　避免鏈?zhǔn)椒磻?yīng)　174參考文獻(xiàn)注解　174習(xí)題　175第8章　在應(yīng)用中使用SQL　1768.1　所涉及的主要問題　1768.2　嵌入式SQL　1778.2.1　狀態(tài)處理　1798.2.2　會(huì)話、連接和事務(wù)　1808.2.3　執(zhí)行事務(wù)　1808.2.4　游標(biāo)　1828.2.5　服務(wù)器上的存儲(chǔ)過程　1868.3　深入完整性約束　1888.4　動(dòng)態(tài)SQL　1898.4.1　動(dòng)態(tài)SQL中的語句準(zhǔn)備　190*8.4.2　預(yù)備語句和描述符區(qū)域　1918.4.3　游標(biāo)　1928.4.4　服務(wù)器上的存儲(chǔ)過程　1938.5　JDBC和SQLJ　1948.5.1　JDBC基礎(chǔ)　1948.5.2　預(yù)備語句　1968.5.3　結(jié)果集和游標(biāo)　1968.5.4　獲得關(guān)于結(jié)果集的信息　1988.5.5　狀態(tài)處理　1988.5.6　執(zhí)行事務(wù)　1998.5.7　服務(wù)器上的存儲(chǔ)過程　1998.5.8　一個(gè)例子　2008.5.9　SQLJ：面向Java的語句級(jí)接口　200*8.6　ODBC　2038.6.1　預(yù)備語句　2048.6.2　游標(biāo)　2048.6.3　狀態(tài)處理　2068.6.4　執(zhí)行事務(wù)　2068.6.5　服務(wù)器上的存儲(chǔ)過程　2068.6.6　一個(gè)例子　2078.7　比較　208參考文獻(xiàn)注解　208習(xí)題　209第三部分　數(shù)據(jù)庫管理系統(tǒng)性能優(yōu)化和事務(wù)處理第9章　物理數(shù)據(jù)組織與索引　2129.1　磁盤組織　2129.2　堆文件　2189.3　順序文件　2219.4　索引　2249.4.1　聚集索引與非聚集索引　2269.4.2　稀疏索引與稠密索引　2289.4.3　搜索碼包含多個(gè)屬性　2299.5　多級(jí)索引　2309.5.1　索引順序訪問　2339.5.2　B+樹　2309.6　散列索引　2409.6.1　靜態(tài)散列　2409.6.2　動(dòng)態(tài)散列算法　2429.7　特殊用途索引　2469.7.1　位圖索引　2469.7.2　連接索引　2489.8　調(diào)優(yōu)問題：為應(yīng)用選擇索引　248參考文獻(xiàn)注解　249習(xí)題　249第10章　查詢處理基礎(chǔ)　25210.1　查詢處理概述　25210.2　外部排序　25310.3　投影、集合并與集合差　25610.4　選擇　25710.4.1　簡單條件的選擇　25810.4.2　訪問路徑　25910.4.3　復(fù)雜條件的選擇　26010.5　連接　26110.5.1　簡單的嵌套循環(huán)連接　26210.5.2　歸并連接　26410.5.3　散列連接　266*10.6　多關(guān)系連接　26710.7　聚集函數(shù)　268參考文獻(xiàn)注解　268習(xí)題　268第11章　查詢優(yōu)化概述　27011.1　查詢處理的架構(gòu)　27011.2　基于關(guān)系代數(shù)等價(jià)性的啟發(fā)式優(yōu)化　27111.3　查詢執(zhí)行計(jì)劃的開銷估計(jì)　27311.4　輸出結(jié)果大小的估計(jì)　27911.5　選擇一個(gè)計(jì)劃　281參考文獻(xiàn)注解　284習(xí)題　284第12章　數(shù)據(jù)庫調(diào)優(yōu)　28812.1　磁盤高速緩存　28812.2　模式調(diào)優(yōu)　29012.2.1　索引　29112.2.2　反向規(guī)范化　29512.2.3　重復(fù)組　29612.2.4　分片　29712.3　數(shù)據(jù)操縱語言調(diào)優(yōu)　29812.4　工具　30012.5　管理物理資源　30012.6　影響優(yōu)化器　301參考文獻(xiàn)注解　303習(xí)題　303第13章　事務(wù)處理概述　30713.1　隔離性　30713.1.1　可串行性　30813.1.2　兩階段加鎖　30913.1.3　死鎖　31213.1.4　關(guān)系數(shù)據(jù)庫加鎖　31213.1.5　隔離級(jí)別　31413.1.6　加鎖粒度與意向鎖　31713.1.7　小結(jié)　31813.2　原子性與持久性　31913.2.1　先寫式日志　31913.2.2　從大容量存儲(chǔ)器故障中恢復(fù)　32213.3　實(shí)現(xiàn)分布式事務(wù)　32213.3.1　原子性與持久性——兩階段提交協(xié)議　32313.3.2　全局可串行性與死鎖　32513.3.3　復(fù)制　32613.3.4　小結(jié)　328參考文獻(xiàn)注解　328習(xí)題　328第四部分　軟件工程問題和文檔第14章　需求與規(guī)約　33214.1　軟件工程方法學(xué)　33214.2　學(xué)生注冊(cè)系統(tǒng)的需求文檔　33414.3　需求分析——新的問題　33914.4　學(xué)生注冊(cè)系統(tǒng)的規(guī)約說明　34014.5　學(xué)生注冊(cè)系統(tǒng)的規(guī)約文檔：第III部分　34114.6　軟件工程過程的下一步　　342參考文獻(xiàn)注解　343習(xí)題　343第15章　設(shè)計(jì)、編碼與測試　34415.1　設(shè)計(jì)過程　34415.1.1　數(shù)據(jù)庫設(shè)計(jì)　34415.1.2　用UML狀態(tài)圖描述對(duì)象的行為　34515.1.3　設(shè)計(jì)文檔的結(jié)構(gòu)　34615.1.4　設(shè)計(jì)評(píng)審　34715.2　測試計(jì)劃　34815.3　項(xiàng)目計(jì)劃　35015.4　編碼　35115.5　增量開發(fā)　35315.6　項(xiàng)目管理計(jì)劃　35315.7　學(xué)生注冊(cè)系統(tǒng)的設(shè)計(jì)與編碼　35415.7.1　完成數(shù)據(jù)庫設(shè)計(jì)：完整性約束　35415.7.2　注冊(cè)事務(wù)的設(shè)計(jì)　35615.7.3　注冊(cè)事務(wù)的部分代碼　357參考文獻(xiàn)注解　359習(xí)題　359第五部分　數(shù)據(jù)庫高級(jí)主題第16章　對(duì)象數(shù)據(jù)庫介紹　36216.1　關(guān)系數(shù)據(jù)模型的不足　36216.2　概念對(duì)象數(shù)據(jù)模型　36616.2.1　對(duì)象與值　36616.2.2　類　36716.2.3　類型　36716.2.4　對(duì)象-關(guān)系數(shù)據(jù)庫　37016.3　SQL∶1999和SQL∶2003中的對(duì)象　37016.3.1　行類型　37116.3.2　用戶定義類型　37116.3.3　對(duì)象　37216.3.4　查詢用戶定義類型　37316.3.5　更新用戶定義類型　37316.3.6　引用類型　37516.3.7　繼承　37716.3.8　集合類型　377參考文獻(xiàn)注解　379習(xí)題　380第17章　XML和Web數(shù)據(jù)介紹　38217.1　半結(jié)構(gòu)化數(shù)據(jù)　38217.2　XML概述　38417.2.1　XML元素與數(shù)據(jù)庫對(duì)象　38617.2.2　XML屬性　38717.2.3　命名空間　39017.2.4　DTD　39217.2.5　DTD作為數(shù)據(jù)定義語言的不足　39317.3　XML模式　39517.3.1　XML模式和命名空間　39517.3.2　簡單類型　39817.3.3　復(fù)雜類型　40117.3.4　整合　40617.3.5　捷徑：匿名類型與元素引用　40717.3.6　完整性約束　41017.4　XML查詢語言　41417.4.1　XPath：一種輕量級(jí)的XML查詢語言　41517.4.2　SQL/XML　420參考文獻(xiàn)注解　426習(xí)題　427參考文獻(xiàn)　431索引　437

編輯推薦

　　本書主要講解數(shù)據(jù)庫設(shè)計(jì)、實(shí)現(xiàn)及其應(yīng)用的基本原理，側(cè)重于介紹如何利用數(shù)據(jù)庫來創(chuàng)建應(yīng)用程序，而不是如何創(chuàng)建數(shù)據(jù)庫管理系統(tǒng)本身。書中反映了數(shù)據(jù)庫領(lǐng)域研究的最新進(jìn)展，包括最新的SQL標(biāo)準(zhǔn)、UML、XML、面向?qū)ο髷?shù)據(jù)庫和數(shù)據(jù)庫性能調(diào)優(yōu)等。本書的主要內(nèi)容包括關(guān)系數(shù)據(jù)模型、用ER圖和UML建模、關(guān)系代數(shù)和SQL、數(shù)據(jù)庫設(shè)計(jì)、SQL DBMS、查詢處理和優(yōu)化、數(shù)據(jù)庫調(diào)優(yōu)、事務(wù)處理以及與事務(wù)處理的實(shí)現(xiàn)有關(guān)的軟件工程問題等?！　”緯m合作為高等院校計(jì)算機(jī)及相關(guān)專業(yè)本科生和研究生數(shù)據(jù)庫課程的教材。

圖書封面

圖書標(biāo)簽Tags

無

評(píng)論、評(píng)分、閱讀與下載

---

    數(shù)據(jù)庫系統(tǒng)面向應(yīng)用的方法 PDF格式下載

---