Declarative specification and evaluation of database updates
- 1 January 1991
- book chapter
- Published by Springer Nature
- p. 147-166
- https://doi.org/10.1007/3-540-55015-1_8
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- On the difference between updating a knowledge base and revising itPublished by Cambridge University Press (CUP) ,1992
- Declarative specification and evaluation of database updatesPublished by Springer Nature ,1991
- New hope on data models and typesACM SIGMOD Record, 1990
- The Object-Oriented Database System ManifestoPublished by Elsevier ,1990
- Object-oriented database systemsPublished by Association for Computing Machinery (ACM) ,1988
- Procedural and declarative database update languagesPublished by Association for Computing Machinery (ACM) ,1988
- A translation language complete for database update and specificationPublished by Association for Computing Machinery (ACM) ,1987
- On the semantics of updates in databasesPublished by Association for Computing Machinery (ACM) ,1983
- First-Order Dynamic LogicLecture Notes in Computer Science, 1979
- A relational model of data for large shared data banksCommunications of the ACM, 1970