A logic framework for a semantics of object oriented data modelling

This publication has 6 references indexed in Scilit:

• A formalization of the Binary Object-Role Model based on logic
  Data & Knowledge Engineering, 1996
• ODMG-93
  Published by Association for Computing Machinery (ACM) ,1994
• The OO-binary relationship model : A truly object oriented conceptual model
  Published by Springer Nature ,1991
• The NIAM Information Analysis Method
  Published by Springer Nature ,1990
• F-logic: a higher-order language for reasoning about objects, inheritance, and scheme
  Published by Association for Computing Machinery (ACM) ,1989
• Further Analysis of the Entity-Relationship Approach to Database Design
  IEEE Transactions on Software Engineering, 1981