Formalizing objects for databases using ADABTPL
- 1 January 1988
- book chapter
- Published by Springer Nature
- p. 110-128
- https://doi.org/10.1007/3-540-50345-5_8
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Workshop on object-oriented programming ECOOP 1987, Paris, June 18, 1987ACM SIGPLAN Notices, 1988
- Resolving the tension between integrity and security using a theorem proverPublished by Association for Computing Machinery (ACM) ,1988
- Intermedia: A case study of the differences between relational and object-oriented database systemsPublished by Association for Computing Machinery (ACM) ,1987
- Issues in the design of object-oriented database programming languagesPublished by Association for Computing Machinery (ACM) ,1987
- On the modes and meaning of feedback to transaction designersPublished by Association for Computing Machinery (ACM) ,1987
- Data model issues for object-oriented applicationsACM Transactions on Information Systems, 1987
- Development of an object-oriented DBMSPublished by Association for Computing Machinery (ACM) ,1986
- Object identityPublished by Association for Computing Machinery (ACM) ,1986
- Specification and verification of abstract database typesPublished by Association for Computing Machinery (ACM) ,1984