數(shù)據(jù)交換基礎(chǔ)

Marcelo+Arenas

數(shù)據(jù)交換研究如何用不同的模式在不同的數(shù)據(jù)庫之間交換數(shù)據(jù)。數(shù)據(jù)交換一直是數(shù)據(jù)庫領(lǐng)域中最活躍的研究課題，數(shù)據(jù)交換相關(guān)研究主要圍繞3個關(guān)鍵的問題：（1）如何建立目標的解決方案；（2）如何應答超過目標解決方案的查詢；（3）用何種操作模式以映射自己。在本書中，作者總結(jié)了10年來研究的重要進展。

全書分為4個部分，共22章：第1部分 入門：包括第1-3章：1.數(shù)據(jù)交換的主要任務，并對比了數(shù)據(jù)交換和數(shù)據(jù)集成；2.關(guān)聯(lián)數(shù)據(jù)模型、查詢語言、復雜的類等相關(guān)概念；3.模式映射、查詢應答和重寫等關(guān)鍵定義。

第2部分 關(guān)聯(lián)數(shù)據(jù)交換，含第4-9章：4.關(guān)聯(lián)數(shù)據(jù)交換關(guān)鍵定義和關(guān)鍵問題；5. 解的存在性；6.好的解決方案：介紹了通用解決方案、普遍解決方案的存在性等問題；7.回答關(guān)系演算查詢、連接查詢應答與否定、特殊解決方案的可重寫等內(nèi)容；8. 另一種語義；9.第二部分的尾注：包括總結(jié)、相關(guān)書目內(nèi)容介紹及練習。

第3部分 XML數(shù)據(jù)交換，含第10-16章：10.XML數(shù)據(jù)交換的問題：介紹了XML文檔和模式、XML數(shù)據(jù)交換的關(guān)鍵問題；11. 模式和映射；12. 構(gòu)建解決方案：介紹了一個簡單的窮舉搜索算法、嵌套關(guān)系的DTD、一般算法等內(nèi)容；13. 回答關(guān)于“元組查詢”方面的問題；14. XML到XML查詢：介紹了XML到XML查詢語言TQL、TQL查詢的確定應答、數(shù)據(jù)交換中的XML到XML查詢等內(nèi)容；15. 關(guān)聯(lián)的XML數(shù)據(jù)交換；16.第三部分的尾注。

第4部分 元數(shù)據(jù)管理，含第17-22章：17.什么是元數(shù)據(jù)管理？介紹了推理模式映射和操作模式映射的相關(guān)概念；18. 架構(gòu)映射的一致性：介紹了問題陳述及對XML的一致性的相關(guān)內(nèi)容；19. 映射組成；20. 反相模式映射；21. 模式映射的結(jié)構(gòu)表征：介紹了結(jié)構(gòu)特性、模式映射語言刻畫及簡化架構(gòu)映射的相關(guān)內(nèi)容；22.第4部分的尾注。

作者Marcelo Arenas是智利天主教大學計算機科學系的副教授，于2005年在多倫多大學獲得了博士學位，他的研究興趣包括數(shù)據(jù)庫理論中的查詢語言、數(shù)據(jù)庫的語義表達能力、矛盾處理，數(shù)據(jù)庫設(shè)計、數(shù)據(jù)庫XML、數(shù)據(jù)交換和元數(shù)據(jù)管理等方面。他獲得過IBM博士獎學金，7篇最佳論文獎和ACMSIGMOD論文獎。他曾在多個程序委員會任職，自2009年以來，他被萬維網(wǎng)聯(lián)盟聘為特邀專家。本書適合知識管理、數(shù)據(jù)庫和數(shù)據(jù)挖掘、編程語言和應用邏輯、數(shù)據(jù)庫原理方面的研究生和高年級本科生閱讀。

李亞寧，碩士研究生

（中國科學院自動化研究所）endprint