The Reification Dimension in Object-oriented Data Base Design
- 1 January 1992
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Using finite-linear temporal logic for specifying database dynamicsPublished by Springer Nature ,2005
- Temporal Reasoning over Deontic SpecificationsJournal of Logic and Computation, 1991
- Reloop, an Algebra Based Query Language for an Object-Oriented Database SystemPublished by Elsevier ,1990
- Logics of Modal Terms for Systems SpecificationJournal of Logic and Computation, 1990
- Specification and verification of database dynamicsActa Informatica, 1988
- Abstract object types for databasesPublished by Springer Nature ,1988
- Conceptual Modelling for Knowledge-Based DSS DevelopmentPublished by Springer Nature ,1987
- Object identityACM SIGPLAN Notices, 1986
- On the Theory of Specification, Implementation, and Parametrization of Abstract Data TypesJournal of the ACM, 1982
- Temporal aspects of logical procedure definitionInformation Systems, 1980