Michael Benedikt, Guozhu Dong, Leonid Libkin, Limsoon Wong  Home/Search
Context Related
| belllabs.com/user...inalversion.cop.ps 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: belllabs.com/user/benedikt/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: ing with credit is permitted. To copy otherwise, to republish, to post on servers, or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from Publications Dept, ACM Inc., fax +1 (212) 869-0481, or permissions@acm.org. Relational Expressive Power of Constraint Query Languages Michael Benedikt y AT&T Bell Labs Guozhu Dong z U. of Melbourne Leonid Libkin x AT&T Bell Labs Limsoon Wong -- Inst. of Systems Science Abstract We study 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.4: On the Structure of Queries in Constraint Query Languages - Benedikt, Libkin (1996) (Correct)
0.2: Embedded Finite Models, Stability, and the Impact of Order - Baldwin, Benedikt (1998) (Correct)
0.2: Finitely Representable Databases - Grumbach, Su (1997) (Correct)
Similar documents based on text: More All
0.6: Local Properties of Query Languages - Dong, Libkin, Wong (1997) (Correct)
0.3: Some Relationships between the FOIES and Σ11 Arity.. - Dong, Wong (1996) (Correct)
0.3: Normal Forms and Conservative Extension Properties for Query.. - Wong (1995) (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/article/benedikt96relational.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/article/benedikt96relational.html" }
Citations (may not include all citations):775 Foundations of Databases (context) - Abiteboul, Hull et al. - 1995
328 Real and Complex Analysis (context) - Rudin - 1966
315 Constraint query languages - Kanellakis, Kuper et al. - 1990
227 North Holland (context) - Chang, Keisler - 1990
163 Universality of data retrieval languages (context) - Aho, Ullman - 1979
133 Cambridge University Press (context) - Hodges - 1992
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
81 Probabilities on finite models (context) - Fagin - 1976
72 Finitely representable databases - Grumbach, Su - 1994
60 Normal form and conservative properties for query languages - Wong - 1993
55 Towards tractable algebras for bags - Grumbach, Milo - 1993
48 Linear Orderings (context) - Rosenstein - 1982
44 First-order queries on finite structures over the reals - Paredaens, Van den Bussche et al. - 1995
44 New techniques for studying set languages (context) - Libkin, Wong - 1994
35 Some properties of query languages for bags - Libkin, Wong - 1993
31 Linear constraint databases (context) - Grumbach, Su et al. - 1994
30 Model completeness results for expansions of the ordered fie.. (context) - Wilkie
29 Conservativity of nested relational calculi with internal ge.. - Libkin, Wong - 1994
27 The elementary theory of restricted analytic fields with exp.. (context) - Van den Dries, Macintyre et al. - 1994
26 adic and real subanalytics sets (context) - Denef, Van den Dries - 1988
23 Domain independence and the relational calculus - Hull, Su - 1994
17 the expressive power of the relational calculus with arithme.. (context) - Kuper - 1990
17 in and L. Wong. Aggregate functions, conservative extension,.. (context) - Libk - 1993
16 Constraint programming and database languages: A tutorial (context) - Kanellakis - 1995
14 First-order definability over constraint databases (context) - Grumbach, Su - 1995
9 The isomorphism property in nonstandard analysis and its use.. (context) - Henson - 1974
5 The computational complexity of constraint query languages (context) - Revesz - 1995
2 minimal expansions of the reals (context) - Van den Dries - 1995
1 the expressiveness of first-order query languages (context) - Afrati, Andronikos et al. - 1995
1 Linear vs polynomial constraints in database query languages - Afrati, Cosmadakis et al. - 1994
1 Definable sets in ordered structures Bulletin of the AMS (context) - Pillay, Steinhorn
1 Private email (context) - Van den Bussche - 1995
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.bell-labs.com/user/benedikt/): More
On the Structure of Queries in Constraint Query Languages - Benedikt, Libkin (1996) (Correct)
Languages for Relational Databases over Interpreted Structures - Benedikt, Libkin (1997) (Correct)
Safe Constraint Queries - Benedikt, Libkin (1998) (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