Michael Benedikt, Guozhu Dong, Leonid Libkin, Limsoon Wong  Home/Search
Context Related
Links: ACM DBLP | astar.edu.sg/limsoo...bdlwjacm96.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: astar.edu.sg/lim...limsoonpapers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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