Towards a Unifying Logic Formalism for Semantic Data Models

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.

[1]  R. Sikorski,et al.  The mathematics of metamathematics , 1963 .

[2]  Serge Abiteboul,et al.  IFO: A Formal Semantic Database Model , 1987, ACM Trans. Database Syst..

[3]  Weidong Chen,et al.  Declarative Specification and Evaluation of Database Updates , 1991, DOOD.

[4]  Michael Kifer,et al.  F-logic: a higher-order language for reasoning about objects, inheritance, and scheme , 1989, SIGMOD '89.

[5]  Terry A. Halpin.  A Fact-Oriented Approach to Schema Transformation , 1991, MFDBS.

[6]  Sushil Jajodia,et al.  The Problem of Equivalence for Entity-Relationship Diagrams , 1983, IEEE Transactions on Software Engineering.

[7]  Richard Hull,et al.  The Format Model: A Theory of database Organization , 1984, J. ACM.

[8]  Jungyun Seo,et al.  Classifying schematic and data heterogeneity in multidatabase systems , 1991, Computer.

[9]  Ravi Krishnamurthy,et al.  Language features for interoperability of databases with schematic discrepancies , 1991, SIGMOD '91.

[10]  Diane C. P. Smith,et al.  Database abstractions: aggregation and generalization , 1977, TODS.

[11]  Peter P. Chen.  The entity-relationship model: toward a unified view of data , 1975, VLDB '75.

[12]  Henryk Rybinski,et al.  On first-order-logic databases , 1987, TODS.

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

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

[15]  William Kent,et al.  The breakdown of the information model in multi-database systems , 1991, SGMD.

[16]  Joan Peckham,et al.  Semantic data models , 1988, CSUR.

[17]  Kim B. Bruce,et al.  An Algebraic Model of Subtype and Inheritance , 1990, DBPL.