Inherent complexity of recursive queries
From MaRDI portal
Publication:696953
DOI10.1006/jcss.2001.1806zbMath1015.68028OpenAlexW1969330420MaRDI QIDQ696953
Publication date: 12 September 2002
Published in: Journal of Computer and System Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/jcss.2001.1806
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On the expressive power of Datalog: tools and a case study.
- Parallel complexity of logical query programs
- The generalized counting method for recursive logic queries
- Number of quantifiers is better than number of tape cells
- An optimal lower bound on the number of variables for graph identification
- Datalog vs first-order logic
- Bounded arity Datalog \((\neq)\) queries on graphs
- A probabilistic view of Datalog parallelization
- Bounds in the propagation of selection into logic programs
- Tree canonization and transitive closure
- On datalog vs polynomial time
- On the power of magic
- An application of games to the completeness problem for formalized theories
- Languages that Capture Complexity Classes
- The parallel complexity of simple logic programs
- Datalog programs and their persistency numbers
