Inference of monotonicity constraints in datalog programs
- 29 March 1989
- proceedings article
- Published by Association for Computing Machinery (ACM)
- p. 190-199
- https://doi.org/10.1145/73721.73741
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- Efficient tests for top-down termination of logical rulesJournal of the ACM, 1988
- An axiomatic approach to deciding query safety in deductive databasesPublished by Association for Computing Machinery (ACM) ,1988
- A framework for testing safety and effective computability of extended datalogPublished by Association for Computing Machinery (ACM) ,1988
- Safety of recursive Horn clauses with infinite relationsPublished by Association for Computing Machinery (ACM) ,1987