Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

On the Power of Incremental Evaluation in SQL-like Languages

Leonid LibkinContact Information and Limsoon WongContact Information

(6)  Bell Laboratories, 600 Mountain Avenue, 07974 Murray Hill, NJ, USA
(7)  Kent Ridge Digital Labs, 21 Heng Mui Keng Terrace, 119613, Singapore
Abstract
We consider IES(SQL), the incremental evaluation system over an SQL-like language with grouping, arithmetics, and aggregation. We show that every second order query is in IES(SQL) and that there are PSPACE-complete queries in IES(SQL). We further show that every PSPACE query is in IES(SQL) augmented with a deterministic transitive closure operator. Lastly, we consider ordered databases and provide a complete analysis of a hierarchy on IES(SQL) defined with respect to arity-bounded auxiliary relations.
Part of this work was done while visiting INRIA and Kent Ridge Digital Labs.
Part of this work was done while visiting Bell Labs.

Contact Information Leonid Libkin
Email: libkin@bell-labs.com

Contact Information Limsoon Wong
Email: limsoon@krdl.org.sg
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Referenced by
1 newer article

  1. Loyer, Yann (2008) Approximate well-founded semantics, query answering and generalized normal logic programs over lattices. Annals of Mathematics and Artificial Intelligence
    [CrossRef]
Remote Address: 38.107.191.108 • Server: mpweb07
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)