See this document in CiteSeerX!

Relational Expressive Power of Constraint Query Languages (1995)  (Make Corrections)  (83 citations)
Michael Benedikt, Guozhu Dong, Leonid Libkin, Limsoon Wong



  Home/Search   Context   Related

Links:   ACM   DBLP

 
View or download:
astar.edu.sg/limsoo...bdlwjacm96.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  astar.edu.sg/lim...limsoonpapers (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: The expressive power of first-order query languages with several classes of equality and inequality constraints is studied in this paper. We settle the conjecture that recursive queries such as parity test and transitive closure cannot be expressed in the relational calculus augmented with polynomial inequality constraints over the reals. Furthermore, noting that relational queries exhibit several forms of genericity, we establish a number of collapse results of the following form: The... (Update)

Context of citations to this paper:   More

.... constraint databases are incapable of expressing many simple recursive queries like finding the transitive closure of an input graph [2]. Other query language proposals are based on fixpoint logic [1, 29] Unfortunately, the evaluation of fixpoint queries with linear...

.... have been proposed, including dense order constraints, linear arithmetic constraints and the most general polynomial constraints [GK96, BDLW98]. The fundamental relational query languages, relational algebra and calculus, and Datalog do not require that the relations be...

Cited by:   More
Relational Expressive Power of Constraint Query Languages - Benedikt, Dong, Libkin, Wong (1995)   (Correct)
Variable Independence in Constraint Databases - Chomicki, Goldin, Kuper, Toman (2002)   (Correct)
Definable Relations and First-Order Query Languages.. - Benedikt, Libkin..   (Correct)

Active bibliography (related documents):   More   All
0.5:   On the Structure of Queries in Constraint Query Languages - Benedikt, Libkin (1996)   (Correct)
0.5:   First-Order Queries on Finite Structures Over the Reals - Paredaens, Van den.. (1995)   (Correct)
0.4:   Relational Queries over Interpreted Structures - Benedikt, Libkin   (Correct)

Similar documents based on text:   More   All
0.5:   Local Properties of Query Languages - Dong, Libkin, Wong (1997)   (Correct)
0.4:   The Expressive Power of Unary Counters - Benedikt, Keisler (1997)   (Correct)
0.4:   Exact and Approximate Aggregation in Constraint Query Languages - Benedikt, Libkin (1998)   (Correct)

Related documents from co-citation:   More   All
59:   Constraint Query Languages - Kanellakis, Kuper et al. - 1990
45:   Foundations of databases (context) - Abiteboul, Hull et al. - 1995
38:   Towards a theory of spatial database queries (context) - Paredaens, Van den Bussche et al. - 1994

BibTeX entry:   (Update)

M. Benedikt, G. Dong, L. Libkin, and L. Wong. Relational expressive power of constraint query languages. In manuscript, 1995. http://citeseer.ist.psu.edu/benedikt95relational.html   More

@inproceedings{ benedikt96relational,
    author = "Michael Benedikt and Guozhu Dong and Leonid Libkin and Limsoon Wong",
    title = "Relational Expressive Power of Constraint Query Languages",
    pages = "5--16",
    year = "1996",
    url = "citeseer.ist.psu.edu/benedikt95relational.html" }
Citations (may not include all citations):
775   Foundations of Databases (context) - Abiteboul, Hull et al. - 1995  ACM   DBLP
315   Constraint query languages - Kanellakis, Kuper et al. - 1990  ACM   DBLP
229   A Decision Method for Elementary Algebra and Geometry (context) - Tarski - 1951
227   North Holland (context) - Chang, Keisler - 1990
189   Computable queries for relational databases - Chandra, Harel - 1980
163   Universality of data retrieval languages (context) - Aho, Ullman - 1979  ACM
116   On local and non-local properties (context) - Gaifman - 1982
87   Towards a theory of spatial database queries (context) - Paredaens, Van den Bussche et al. - 1994
83   Relational expressive power of constraint query languages - Benedikt, Dong et al. - 1996  ACM   DBLP
81   Probabilities on finite models (context) - Fagin - 1976  DBLP
72   Finitely representable databases - Grumbach, Su - 1994  ACM   DBLP
48   Linear Orderings (context) - Rosenstein - 1982
44   First-order queries on finite structures over the reals - Paredaens, Van den Bussche et al. - 1995  ACM   DBLP
40   Definable sets in ordered structures (context) - Pillay, Steinhorn - 1984
40   Definable sets in ordered structures (context) - Pillay, Steinhorn - 1988
31   Linear constraint databases (context) - Grumbach, Su et al. - 1994  ACM
30   Model completeness results for expansions of the ordered fie.. (context) - Wilkie - 1996
27   polynomial constraints in database query languages (context) - Afrati, Cosmadakis et al. - 1994
23   the structure of queries in constraint query languages - Benedikt, Libkin - 1996
23   Domain independence and the relational calculus - Hull, Su - 1994  ACM   DBLP
21   Definable sets in ordered structures II (context) - Knight, Pillay et al. - 1986
20   the expressive power of unary counters - Benedikt, Keisler - 1997
17   the expressive power of the relational calculus with arithme.. (context) - Kuper - 1990
16   Constraint programming and database languages: A tutorial (context) - Kanellakis - 1995  DBLP
16   First-order queries on databases embedded in an infinite str.. - Otto, Van den Bussche  ACM   DBLP
14   First-order definability over constraint databases (context) - Grumbach, Su - 1995  ACM   DBLP
13   order constraint queries over rational databases (context) - Stolboushkin, Taitslin - 1996
10   Several Complex Variables (context) - Narasimhan - 1971
9   a theory of database organization (context) - Hull, Yap et al. - 1984
9   Alfred Tarski's elimination theory for real closed fields (context) - Van den Dries - 1988  DBLP
9   The isomorphism property in nonstandard analysis and its use.. (context) - Henson - 1974  DBLP
7   The elementary theory of restricted analytic fields with exp.. (context) - Van den Dries, Macintyre et al. - 1994
7   the expressiveness of first-order constraint languages - Afrati, Andronikos et al. - 1995
5   The computational complexity of constraint query languages (context) - Revesz - 1995
5   Model theory and exponentiation (context) - Marker - 1996
5   DIMACS Technical Report (context) - Belegradek, Stolboushkin et al. - 1995
3   Order minimality of the Gamma function (context) - Speissinger - 1996



The graph only includes citing articles where the year of publication is known.


Documents on the same site (http://sdmc.i2r.a-star.edu.sg/limsoon/limsoonpapers.html):   More
Semantic Representations and Query Languages for Or-Sets - Libkin, Wong (1993)   (Correct)
BioKleisli: A Digital Library for Biomedical Researchers - Davidson, Overton, Tannen.. (1996)   (Correct)
S-Hash: An Indexing Scheme for Approximate Subsequence.. - Pang, Ooi, Wong   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC