Formal definition of a conceptual language for the description and manipulation of information models

This publication has 13 references indexed in Scilit:

• Expressiveness in conceptual data modelling
  Data & Knowledge Engineering, 1993
• Uniquest: Determining the Semantics of Complex Uniqueness Constraints
  The Computer Journal, 1992
• Fact-oriented modelling for data analysis
  Information Systems Journal, 1992
• Formalization of techniques: chopping down the methodology jungle
  Information and Software Technology, 1992
• Semantics and verification of object-role models
  Information Systems, 1991
• IFO: a formal semantic database model
  ACM Transactions on Database Systems, 1987
• A logic-based information modelling language
  Data & Knowledge Engineering, 1987
• Database description with SDM
  ACM Transactions on Database Systems, 1981
• The functional data model and the data languages DAPLEX
  ACM Transactions on Database Systems, 1981
• The entity-relationship model—toward a unified view of data
  ACM Transactions on Database Systems, 1976