On Automatic Reasoning for Schema Integration

TitleOn Automatic Reasoning for Schema Integration
Publication TypeJournal Article
Year of Publication1993
AuthorsAmit Sheth, S. Gala, S. Navathe
JournalInternational Journal of Intelligent & Cooperative Information Systems
Keywordsdescription logics, information modeling, schema integration

Success in database schema integration depends on the ability to capture real world semantics of the schema objects, and to reason about the semantics. Earlier schema integration approaches mainly rely on heuristics and human reasoning. In this paper, we discuss an approach to automate a significant part of the schema integration process. Our approach consists of three phases. An attribute hierarchy is generated in the first phase. This involves identifying relations equality, disjointness and inclusion) among attributes. We discuss a strategy based on user-specified semantic clustering. In the second phase, a classification algorithm based on the semantics of class subsumption is applied to the class definitions and the attribute hierarchy to automatically generate a class taxonomy. This class taxonomy represents a partially integrated schema. In the third phase, the user may employ a set of well-defined comparison operators in conjunction with a set of restructuring operators to further modify the schema. These operators as well as the automatic reasoning during the second phase are based on subsumption. The formal semanitcs and automatic reasoning utilized in the second phase is based on a terminological logic as adapted in the CANDIDE data model. Classes are completely defined in terms of attributed and constraints. Our observation is that the inability to completely define attributes and thus completely capture their real world semantics imposes a fundamental limitation on the possibilities of automatically reasoning about attribute definitions. This necessitates human reasoning during the first phase of the integration approach.

Full Text

A. Sheth, S. Gala, and S. Navathe, 'On Automatic Reasoning for Schema Integration,' International Journal of Intelligent & Cooperative Information Systems 2 (no. 1), March 1993, pp, 23-50.

related resource url: http://scholar.google.com/citations?view_op=view_citation&hl=en&user=2T3...