Declarative expression of deductive database updates
- 29 March 1989
- proceedings article
- Published by Association for Computing Machinery (ACM)
- p. 93-100
- https://doi.org/10.1145/73721.73730
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- Database updates in logic programmingPublished 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
- Horn clause queries and generalizationsThe Journal of Logic Programming, 1985
- N-Prolog: An extension of Prolog with hypothetical implications. I.The Journal of Logic Programming, 1984
- Towards a Logical Reconstruction of Relational Database TheoryPublished by Springer Nature ,1984