Search


Volume

Author

Year

  • < Previous
  • 1
  • Next >
2 results

L-Recursion and a new Logic for Logarithmic Space

Martin Grohe ; Berit Grußien ; André Hernich ; Bastian Laubner.
We extend first-order logic with counting by a new operator that allows it to formalise a limited form of recursion which can be evaluated in logarithmic space. The resulting logic LREC has a data complexity in LOGSPACE, and it defines LOGSPACE-complete problems like deterministic reachability and&nbsp;[&hellip;]
Published on March 13, 2013

Answering Non-Monotonic Queries in Relational Data Exchange

Andre Hernich.
Relational data exchange is the problem of translating relational data from a source schema into a target schema, according to a specification of the relationship between the source data and the target data. One of the basic issues is how to answer queries that are posed against target data. While&nbsp;[&hellip;]
Published on September 1, 2011

  • < Previous
  • 1
  • Next >