Abstract
在一個由數個物件式資料庫所組成的異質資料庫中，由整合各組成資料庫 的綱目可造出整體綱目；這個整體綱目能提供單一的使用者介面和高度的 地域透明化，以便於使用者取用資料。在此研究上，主要問題包括：如何 得知組成綱目間的相關含意，以便提供整合所需資訊；如何解決各組成綱 目中設計上的一些矛盾；以及如何提供整合後的整體綱目和組成綱目間的 對映，以便對整體綱目上查詢之分解提供有用資訊。在這篇論文中，定義 了一些相關性描述（correspon- ding assertion ），資料庫管理者可 用他們來指明組成物件綱目間含意相關的部份。定出的整合規則（ integr- ation rule）依據這些相關性描述，使用一組基本整合運算子（ primitive integration operator）來重建組成綱目，以解決綱目相互之 間的矛盾；然後再將其整合。這個整合技術所依循的原則，要保持組成資 料庫中的資料都能從整體綱目中取得，不會有資料遺失的現象。此外，我 們可因這種綱目整合的方法而得到更多由異質資料庫中整合而得的資訊。 最後，並提供一個整合綱目和組成綱目間的對映（mapping）技術。本論 文分成七章：第一章簡介；第二章描述一些在本論文中用到的基本概念； 第三章介紹組成綱目間的相關性描述（corresponding assertion ）；第 四章定義那些用來整合組成綱目的基本整合運算子（primitive integra- tion operator）；整合規則（integration rule ）在第五章 討論；第六章介紹整體綱目和組成綱目間的對映（ mapping ）；最後第 七章做一個結論以及討論未來研究方向。