Pushing constraint selections
- 1 July 1993
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 16 (3-4) , 361-414
- https://doi.org/10.1016/0743-1066(93)90048-l
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Deriving constraints among argument sizes in logic programsAnnals of Mathematics and Artificial Intelligence, 1991
- Inference of inequality constraints in logic programs (extended abstracts)Published by Association for Computing Machinery (ACM) ,1991
- On the representation of infinite temporal data and queries (extended abstract)Published by Association for Computing Machinery (ACM) ,1991
- Polynomial time query processing in temporal deductive databasesPublished by Association for Computing Machinery (ACM) ,1990
- Magic conditionsPublished by Association for Computing Machinery (ACM) ,1990
- Constraint query languages (preliminary report)Published by Association for Computing Machinery (ACM) ,1990