A closed form for datalog queries with integer order
- 1 January 1990
- book chapter
- Published by Springer Nature
- p. 187-201
- https://doi.org/10.1007/3-540-53507-1_77
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Handling infinite temporal dataPublished by Association for Computing Machinery (ACM) ,1990
- Relational specifications of infinite query answersPublished by Association for Computing Machinery (ACM) ,1989
- Why not negation by fixpoint?Published by Association for Computing Machinery (ACM) ,1988
- Theory of database queriesPublished by Association for Computing Machinery (ACM) ,1988
- Procedural and declarative database update languagesPublished by Association for Computing Machinery (ACM) ,1988
- ON SAFETY, DOMAIN INDEPENDENCE, AND CAPTURABILITY OF DATABASE QUERIES* (Preliminary Report)*Research sponsored in part by the NSF grant DCR-8603676.Published by Elsevier ,1988
- Constraint logic programmingPublished by Association for Computing Machinery (ACM) ,1987
- Computable queries for relational data basesJournal of Computer and System Sciences, 1980
- An efficient decision procedure for the theory of rational orderTheoretical Computer Science, 1977
- General recursive functions of natural numbersMathematische Annalen, 1936