Towards a unifying logic formalism for semantic data models

  • Jaroslaw A. Chudziak
  • Henryk Rybinski
  • James Vorbach
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 823)


In the paper we look for the solution of two problems: the unification of various paradigms of semantic database models inside one logical framework, and schema mismatch problems arising during merging process of two schemata from different models. As an approach we use SEL-logic, which captures database data level and metalevel (schema) information in such a way as to permit reasoning at both levels. Both levels are expressed as first-order logic formalisms.


Binary Relation Formal Semantic Atomic Formula Proof Theory Schema Graph 
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. 1.
    S. Abiteboul and R Hull. IFO: A formal semantic database model. ACM TODS, 12(4), (1987).Google Scholar
  2. 2.
    Kim B. Bruce, Peter Wegner, An algebraic Model of Subtype and Inheritance”, in: Advances in Database Programming Languages, ACM Press, (1990).Google Scholar
  3. 3.
    P. Chen. The entity-relationship model — toward a unified view of data. ACM TODS, 1(1) 9–36 (1976).CrossRefGoogle Scholar
  4. 4.
    W. Chen, declarative specification and evaluation of database updates, Proc. 2nd Int'l Conf. DOOD'91, 1991.Google Scholar
  5. 5.
    J. Chudziak, H. Rybinski, and J. Vorbach. On Mapping Semantic Data Model Schemata into First_Order Logic, ICS Research Report Warsaw University of Technology, 13/93.Google Scholar
  6. 6.
    J. Chudziak, J. Vorbach, SDM-CASE: A Prototype of Semantic Database Design and Analyze System, in preparation.Google Scholar
  7. 7.
    T.Halpin, A Fact Oriented Approach to Schema Transformation, MFDBS'91, 342–356 (1991).Google Scholar
  8. 8.
    R. Hull and Ch.K. Yap, The Format Model: A Theory of Database Organization, JACM 31(4), 518–537 (1984).CrossRefGoogle Scholar
  9. 9.
    R. Hull and R. King. Semantic database modeling: survey, application, and research issues, ACM Comp. Surveys, 19 (3), (1988)Google Scholar
  10. 10.
    The problem of equivalence for Entity-Relationship Diagrams, IEEE Trans. on Software Engineering, 9(5), (1983).Google Scholar
  11. 11.
    W. Kent. The breakdown of the Information Model in MDBSs, ACM SIGMOD RECORD, 20(4), (1991).Google Scholar
  12. 12.
    M. Kifer and G Lausen. F-Logic: a higher-order language for reasoning about objects, inheritance, and scheme. Proc. of the 8th ACM-SIGMOD Int'l Conf. on Management of Data, 134–146 (1989).Google Scholar
  13. 13.
    W. Kim and J. Seo. Classifying schematic and data heterogreneity in multidatabase systems. Computer, 24(12), (1991).Google Scholar
  14. 14.
    R. Krishnamurthy, W. Litwin, and W. Kent. Language Features for Interoperability of Databases with Schematic Discrepancies. Proc. of the 10th ACM-SIGMOD Int'l Conf. on Management of Data, 40–49 (1991).Google Scholar
  15. 15.
    D. Maier. O-Logic: a logic for objects, Workshop on Foundations of Deductive Databases and Logic Programming, D.C., 1986Google Scholar
  16. 16.
    J. Peckham and F. Maryanski. Semantic data models. ACM Computing Surveys. 20(3), 153–189 (1988).CrossRefGoogle Scholar
  17. 17.
    H. Rasiowa, R. Sikorski. The Mathematics of Metamathematics, Polish Scientific Publishers, Warsaw, (1963)Google Scholar
  18. 18.
    H. Rybinski. On first order logic databases, ACM TODS 12(3), 325–349 (1987).CrossRefGoogle Scholar
  19. 19.
    H. Rybinski and J. Vorbach. A logic approach to equivalence among semantic data model schemata, ICS Research Report Warsaw University of Technology, 7/93Google Scholar
  20. 20.
    D. Shipman. The functional data model and the data language DAPLEX. ACM TODS 6(1), (1981).Google Scholar
  21. 21.
    A. Sheith and J. Larson. Federated database systems for managing distributed, heterogenous, and automous databases. ACM Computing Surveys, 22(3), 183–236 (1990).CrossRefGoogle Scholar
  22. 22.
    D. Smith and J. Smith. Database abstractions: aggregation and generalization. ACM TODS 2(2), (1977).Google Scholar
  23. 23.
    J. Vorbach. A graph theoretic approach for deriving meta-level information from schemata, Proc. of GWS Conf. on Intelligent Systems (1992)Google Scholar
  24. 24.
    Proc.of the ER'93 Conference (1993).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • Jaroslaw A. Chudziak
  • Henryk Rybinski
    • 1
  • James Vorbach
    • 2
  1. 1.Institute of Computer ScienceWarsaw University of TechnologyWarsawPoland
  2. 2.Dept. of Math. and Comp. Sci.St. John's UniversityJamaicaUSA

Personalised recommendations