Safe stratified datalog with integer order programs
- 1 January 1995
- book chapter
- Published by Springer Nature
- p. 154-169
- https://doi.org/10.1007/3-540-60299-2_10
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- Constraint logic programming: a surveyThe Journal of Logic Programming, 1994
- Towards a meaning of lifeThe Journal of Logic Programming, 1993
- Finite representation of infinite query answersACM Transactions on Database Systems, 1993
- The CLP( ℛ ) language and systemACM Transactions on Programming Languages and Systems, 1992
- Constraint logic programming languagesCommunications of the ACM, 1990
- Handling infinite temporal dataPublished by Association for Computing Machinery (ACM) ,1990
- Towards a Theory of Declarative KnowledgePublished by Elsevier ,1988
- Constraint logic programmingPublished by Association for Computing Machinery (ACM) ,1987
- Structure and complexity of relational queriesJournal of Computer and System Sciences, 1982
- Computable queries for relational data basesJournal of Computer and System Sciences, 1980