The Fixpoint Bounded-Variable Queries are PSPACE-Complete
We study complexity of the evaluation of fixpoint bounded-variable<br />queries in relational databases. We exhibit a finite database such<br />that the problem whether a closed fixpoint formula using only 2 individual variables is satisfied in this database is PSPACE-complete. This clarifies the issues raised by Moshe Vardi in [Var95]. We study also the complexity of query evaluation for a number of restrictions of fixpoint logic. In particular we exhibit a sublogic for which the upper bound postulated by Vardi holds.
2010 ◽
pp. 283-307
1997 ◽
Vol 171
(1-2)
◽
pp. 179-219
◽
2017 ◽
Vol Volume 27 - 2017 - Special...
◽