Views and formal implementation in a three-level schema architecture for dynamic objects

This publication has 10 references indexed in Scilit:

• The O ₂ system
  Communications of the ACM, 1991
• Temporal Reasoning over Deontic Specifications
  Journal of Logic and Computation, 1991
• Formal specification of object systems
  Published by Springer Nature ,1991
• A formal approach to object-oriented databases
  Data & Knowledge Engineering, 1990
• The Object-Oriented Database System Manifesto
  Published by Elsevier ,1990
• Algebraische Spezifikation abstrakter Datentypen
  Published by Springer Nature ,1989
• Semantic data models
  ACM Computing Surveys, 1988
• Semantic database modeling: survey, applications, and research issues
  ACM Computing Surveys, 1987
• Reference model for DBMS standardization
  ACM SIGMOD Record, 1986
• Fundamentals of Algebraic Specification 1
  Published by Springer Nature ,1985