Datalog vs first-order logic
- 1 December 1994
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 49 (3) , 562-588
- https://doi.org/10.1016/s0022-0000(05)80071-6
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- A note on local and non-local properties of turbulence in the bora flowMeteorologische Zeitschrift, 2006
- On the first-order expressibility of recursive queriesPublished by Association for Computing Machinery (ACM) ,1989
- Datalog vs. first-order logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1989
- Graph minors. III. Planar tree-widthJournal of Combinatorial Theory, Series B, 1984
- Toward logic tailored for computational complexityLecture Notes in Mathematics, 1984