On the logical foundations of schema integration and evolution in heterogeneous database systems

  • Laks V. S. Lakshmanan
  • Fereidoon Sadri
  • Iyer N. Subramanian
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 760)


Developing a declarative approach to schema integration in the context of heterogeneous database systems is a major goal of this research. We take a first step toward this goal in this paper, by developing a simple logic called SchemaLog which is syntactically higher-order but has a first-order semantics. SchemaLog can provide for a logical integration of multiple relational databases in a federation of database systems. We develop a fixpoint theory as well as a sound and complete proof theory for the definite clause fragment of SchemaLog and show their equivalence to the model-theoretic semantics. We argue that a uniform framework for schema integration as well as schema evolution is both desirable and possible. We illustrate the simplicity and power of SchemaLog with a variety of applications involving database programming (with schema browsing), schema integration, schema evolution, and cooperative query answering.


Schema Integration Logic Programming Common Data Model Definite Clause Definite Program 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [ABW88]
    K. R. Apt, H. A. Blair, and A. Walker. Towards a theory of declarative knowledge. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming. Morgan-Koffmann, 1988.Google Scholar
  2. [ACM90]
    ACM. ACM Computing Surveys, volume 22, Sept 1990. Special issue on HDBS.Google Scholar
  3. [AG87]
    S. Abiteboul and S. Grumbach. Col: A logic-based language for complex objects. In Proc. of Workshop on Database Programming Languages, pages 253–276, 1987.Google Scholar
  4. [Ahm91]
    R. Ahmed et. al. The pegasus heterogeneous multidatabase system. IEEE Computer, Dec 1991.Google Scholar
  5. [Bat86]
    C. Batini et. al. A comparitive analysis of methodologies for database schema integration. ACM Comput. Surveys, pages 323–364, Dec 1986.Google Scholar
  6. [BG92]
    T. Barsalou and D. Gangopadhyay. An open framework for interoperation of multimodel multidatabase systems. In IEEE Data Engg., 1992.Google Scholar
  7. [CD88]
    F. Cuppens and R. Demolombe. Cooperative answering: a methodology to provide intelligent accesss to databases. In Second Intl. conf. on Expert Database Systems, 1988.Google Scholar
  8. [CKW89]
    W. Chen, M. Kifer, and D. S. Warren. Hilog as a platform for database language. In 2nd Intl. workshop on Database Programming Languages, June 1989.Google Scholar
  9. [CKW90]
    W. Chen, M. Kifer, and D. S. Warren. A foundation for higher-order logic programming. Expanded paper, 1990.Google Scholar
  10. [CL73]
    C.L. Chang and R. C. T. Lee. Symbolic Logic and Mechanical Theorem Proving. New York, Academic Press, 1973.Google Scholar
  11. [GGM92]
    T. Gaasterland, P. Godfrey, and J. Minker. An overview of cooperative answering. Journal of Intelligent Information Systems, 1:123–157, 1992.Google Scholar
  12. [Hsi92]
    D. K. Hsiao. Federated databases and systems: Part-one — a tutorial on their data sharing. VLDB Journal, 1:127–179, 1992.Google Scholar
  13. [Kim90]
    Won Kim. Introduction to Object Oriented Databases. MIT Press, 1990.Google Scholar
  14. [KLK91]
    R. Krishnamurthy, W. Litwin, and W. Kent. Language features for interoperability of databases with schematic discrepancies. In ACM SIGMOD Conference on Management of Data, pages 40–49, 1991.Google Scholar
  15. [KLW90]
    M. Kifer, G. Lausen, and J. Wu. Logical foundations of frame-based languages. Technical Report 90/14, SUNY at Stony Brook, August 1990.Google Scholar
  16. [KN88]
    R. Krishnamurthy and S. Naqvi. Towards a real horn clause language. In Proceedings of the 14th VLDB Conf., pages 252–263, 1988.Google Scholar
  17. [Llo87]
    J. W. Lloyd. Foundations of Logic Programming. Springer Verlag, second edition, 1987.Google Scholar
  18. [LLR90]
    Witold Litwin, Mark Leo, and Nick Roussopoulos. Interoperability of multiple autonomous databases. ACM computing surveys, 22(3):267–293, Sept 1990.Google Scholar
  19. [LR82]
    T. Landers and R. Rosenberg. An overview of multibase. Distributed Databases, pages 153–184, 1982.Google Scholar
  20. [LSS93]
    L.V.S. Lakshmanan, F. Sadri, and I. N. Subramanian. On the logical foundations of schema integration and evolution in heterogeneous database systems. Technical report, Concordia University, Montreal, July 1993.Google Scholar
  21. [Man89]
    S. Manchanda. Higher-order logic as a data model. In Proc. of the North American Conf. on Logic Programming, pages 330–341, 1989.Google Scholar
  22. [NR89]
    G. T. Nguyen and D. Rieu. Schema evolution in object-oriented database systems. Data and Knowledge Engg., North-Holland, 4:43–67, 1989.Google Scholar
  23. [She88]
    J. C. Shepherdson. Negation in logic programming. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming. Morgan-Koffmann, 1988.Google Scholar
  24. [SL90]
    Amit P. Sheth and James A. Larson. Federated database system for managing distributed, heterogeneous and autonomous databases. ACM computing surveys, 22(3):183–236, Sept 1990.Google Scholar
  25. [Syl89]
    Osborn Sylvia. The role of polymorphism in schema evolution in an objectoriented database. In IEEE Trans. on Knowledge and Data Engg., pages 310–317, Sept 1989.Google Scholar
  26. [Tem87]
    Templeton et. al. Mermaid: A front-end to distributed heterogeneous databases. In Proc. IEEE 75, 5, pages 695–708, May 1987.Google Scholar
  27. [Ull87]
    J. D. Ullman. Database theory: Past and future. In Proc. of the ACM PODS, 1987.Google Scholar
  28. [Ull91]
    J. D. Ullman. A comparison between deductive and object oriented database systems. In Proc. Deductive and Object Oriented Databases Conf., pages 263–277, 1991.Google Scholar
  29. [vEK76]
    M. H. van Emden and R. A. Kowalski. The semantics of predicate logic as a programming language. JACM, 23(4):733–742, October 1976.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Laks V. S. Lakshmanan
    • 1
  • Fereidoon Sadri
    • 1
  • Iyer N. Subramanian
    • 1
  1. 1.Department of Computer ScienceConcordia UniversityMontreal

Personalised recommendations