Towards a unifying logic formalism for semantic data models

This publication has 14 references indexed in Scilit:

• The breakdown of the information model in multi-database systems
  ACM SIGMOD Record, 1991
• Classifying schematic and data heterogeneity in multidatabase systems
  Computer, 1991
• Declarative specification and evaluation of database updates
  Published by Springer Nature ,1991
• A fact-oriented approach to schema transformation
  Published by Springer Nature ,1991
• Language features for interoperability of databases with schematic discrepancies
  Published by Association for Computing Machinery (ACM) ,1991
• F-logic: a higher-order language for reasoning about objects, inheritance, and scheme
  Published by Association for Computing Machinery (ACM) ,1989
• Semantic data models
  ACM Computing Surveys, 1988
• On first-order-logic databases
  ACM Transactions on Database Systems, 1987
• The Format Model
  Journal of the ACM, 1984
• The entity-relationship model—toward a unified view of data
  ACM Transactions on Database Systems, 1976