A formalization of the Binary Object-Role Model based on logic

This publication has 8 references indexed in Scilit:

• A unifying object role modelling theory
  Information Systems, 1995
• Conceptual design of object-oriented database schemas using the binary-relationship model
  Data & Knowledge Engineering, 1995
• Formal definition of a conceptual language for the description and manipulation of information models
  Information Systems, 1993
• Database reverse engineering: From the relational to the binary relationship model
  Data & Knowledge Engineering, 1993
• Semantics and verification of object-role models
  Information Systems, 1991
• ADDS: A system for automatic database schema design based on the binary-relationship model
  Data & Knowledge Engineering, 1987
• Logic and Databases: A Deductive Approach
  ACM Computing Surveys, 1984
• The entity-relationship model—toward a unified view of data
  ACM Transactions on Database Systems, 1976