2 results
Thomas Schwentick ; Thomas Zeume.
It is shown that the finite satisfiability problem for two-variable logic over structures with one total preorder relation, its induced successor relation, one linear order relation and some further unary relations is EXPSPACE-complete. Actually, EXPSPACE-completeness already holds for structures […]
Published on March 2, 2012
Gaetano Geck ; Jens Keppeler ; Thomas Schwentick ; Christopher Spinrath.
The paper studies the rewriting problem, that is, the decision problem whether, for a given conjunctive query $Q$ and a set $\mathcal{V}$ of views, there is a conjunctive query $Q'$ over $\mathcal{V}$ that is equivalent to $Q$, for cases where the query, the views, and/or the desired rewriting are […]
Published on November 29, 2023