Semantics and verification of object-role models

This publication has 7 references indexed in Scilit:

• Classification and syntax of constraints in binary semantical networks
  Information Systems, 1990
• ADDS: A system for automatic database schema design based on the binary-relationship model
  Data & Knowledge Engineering, 1987
• A logical design methodology for relational databases using the extended entity-relationship model
  ACM Computing Surveys, 1986
• The relational model with relation-valued attributes
  Information Systems, 1986
• Translating SQL Into Relational Algebra: Optimization, Semantics, and Equivalence of SQL Queries
  IEEE Transactions on Software Engineering, 1985
• 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