A Method for Integrating Deductive Databases

This paper presents an approach for integrating deductive databases. In our approach deductive databases are expressed in a functional database programming language. For integrating the extensional parts of deductive databases, we use a binary relational ER model with subtyping as the common data model and propose a semi-automatic method to perform the integration. For integrating the intentional parts of deductive databases, we formally define identity and containment relationships between derived functions and propose a systematic method for comparing their semantics and integrating them.

[1]  Alexandra Poulovassilis,et al.  Combining Inheritance and Parametric Polymorphism in a Functional Database Language , 1995, BNCOD.

[2]  Sarit Kraus,et al.  Combining Multiple Knowledge Bases , 1991, IEEE Trans. Knowl. Data Eng..

[3]  W. I. Grosky,et al.  A Knowledge Model For Unifying Deductive and Non-Deductive Heterogeneous Databases , 1995, IEEE Trans. Knowl. Data Eng..

[4]  Paul Johannesson.  Schema Transformations as an Aid in View Integration , 1993, CAiSE.

[5]  Jeffrey D. Uuman.  Principles of database and knowledge- base systems , 1989 .

[6]  W. Alex Gray,et al.  Integrity Management in an Object-Oriented Federated Database Environment , 1995, BNCOD.

[7]  Alexandra Poulovassilis,et al.  An Overview of PFL , 1991, DBPL.

[8]  Alexandra Poulovassilis,et al.  A Functional Programming Approach to Deductive Databases , 1991, VLDB.

[9]  Alexandra Poulovassilis,et al.  Investigation of Algebraic Query Optimisation Techniques for Database Programming Languages , 1994, VLDB.

[10]  C. V. Ramamoorthy,et al.  Knowledge and Data Engineering , 1989, IEEE Trans. Knowl. Data Eng..

[11]  Jeffrey D. Ullman,et al.  Principles Of Database And Knowledge-Base Systems , 1979 .

[12]  Gio Wiederhold,et al.  Intelligent integration of information , 1993, SIGMOD Conference.

[13]  Amar Gupta,et al.  Formulating Global Integrity Constraints During Derivation of Global Schema , 1995, Data Knowl. Eng..

[14]  Stefano Spaccapietra,et al.  View Integration: A Step Forward in Solving Structural Conflicts , 1994, IEEE Trans. Knowl. Data Eng..

[15]  Swarup Reddi,et al.  Integrity Constraint Enforcement in the Functional Database Language PFL , 1993, BNCOD.

[16]  Carol SmallDept.  Investigation of Algebraic Query Optimisation for Database Programming Languages , 1998 .

[17]  David W. Shipman,et al.  The functional data model and the data languages DAPLEX , 1981, TODS.

[18]  David W. Shipman.  The functional data model and the data language DAPLEX , 1979, SIGMOD '79.

[19]  Luca Cardelli,et al.  On understanding types, data abstraction, and polymorphism , 1985, CSUR.

[20]  Amihai Motro,et al.  Superviews: Virtual Integration of Multiple Databases , 1987, IEEE Transactions on Software Engineering.

[21]  V. S. Subrahmanian.  Amalgamating knowledge bases , 1994, TODS.

[22]  Amar Gupta,et al.  A Methodology for Integration of Heterogeneous Databases , 1994, IEEE Trans. Knowl. Data Eng..

[23]  Alexandra Poulovassilis,et al.  A Domain-theoretic Approach to Integrating Functional and Logic Database Languages , 1993, VLDB.

[24]  Arbee L. P. Chen,et al.  Integration of Heterogeneous Object Schemas , 1993, ER.

[25]  Alexandra Poulovassilis,et al.  Investigation of Algebraic Query Optimisation for Database Programming Languages , 1998 .