Typed Sets as a Basis for Object-Oriented Database Schemas

This publication has 26 references indexed in Scilit:

• Primitives for schema updates in an object-oriented database system: a proposal
  Computer Standards & Interfaces, 1991
• Subtyping can have a simple semantics
  Theoretical Computer Science, 1991
• Semantics of types for database objects
  Theoretical Computer Science, 1990
• Cactis: a self-adaptive, concurrent implementation of an object-oriented database management system
  ACM Transactions on Database Systems, 1989
• Automatic verification of database transaction safety
  ACM Transactions on Database Systems, 1989
• A semantics of multiple inheritance
  Information and Computation, 1988
• Data model issues for object-oriented applications
  ACM Transactions on Information Systems, 1987
• An algebraic semantics approach to the effective resolution of type equations
  Theoretical Computer Science, 1986
• On understanding types, data abstraction, and polymorphism
  ACM Computing Surveys, 1985
• GALILEO: a strongly-typed, interactive conceptual language
  ACM Transactions on Database Systems, 1985