2 papers
cs.LO2001
Solving equations in the relational algebra
Joachim Biskup, Jan Paredaens, Thomas Schwentick +1
Enumerating all solutions of a relational algebra equation is a natural and powerful operation which, when added as a query language primitive to the nested relational algebra, yie…
cs.CC1998
The descriptive complexity approach to LOGCFL
Clemens Lautemann, Pierre McKenzie, Thomas Schwentick +1
Building upon the known generalized-quantifier-based first-order characterization of LOGCFL, we lay the groundwork for a deeper investigation. Specifically, we examine subclasses o…