Guozhu Dong Dept of Computer Science University of Melbourne Parkville, Vic....  Home/Search
Context Related
Links: ACM DBLP | astar.edu.sg/limsoo...dlwtcs974.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: In this paper we study the expressiveness of local queries. By locality we mean --- informally --- that in order to check if a tuple belongs to the result of a query, one only has to look at a certain predetermined portion of the input. Examples include all relational calculus queries. (Update)
Context of citations to this paper: More
...6= NLOGSPACE. In [33] this is proved without any complexity assumptions; a generalization of [33] to many other queries is given in [11]. One problem with the proofs of [33; 11] is that they are very syntactic they work for a particular presentation of the language,...
Cited by: More
Local Properties of Query Languages - Dong, Libkin, Wong (1997) (Correct)
Incremental Recomputation of Recursive Queries with Nested.. - Libkin, Wong (1997) (Correct)
On the Power of Incremental Evaluation in SQL-like Languages - Libkin, Wong (1999) (Correct)
Active bibliography (related documents): More All
0.5: Counting and Locality over Finite Structures: a Survey - Libkin, Nurmonen (1999) (Correct)
0.4: Query Languages for Bags and Aggregate Functions - Libkin, Wong (1997) (Correct)
0.4: Unary Quantifiers, Transitive Closure, and Relations of Large.. - Libkin, Wong (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.4: Relational Expressive Power of Constraint Query Languages - Benedikt, Libkin, Wong (1996) (Correct)
0.4: Logics with Aggregate Operators - Lauri Hella University (Correct)
0.4: On Impossibility of Decremental Recomputation of Recursive.. - Dong, Libkin (1995) (Correct)
Related documents from co-citation: More All
41: On local and non-local properties (context) - Gaifman - 1982
34: Finite model theory (context) - Ebbinghaus, Flum - 1995
32: Foundations of databases (context) - Abiteboul, Hull et al. - 1995
BibTeX entry: (Update)
Guozhu Dong, Leonid Libkin, and Limsoon Wong. Local properties of query languages. In Proceedings of 6th International Conference on Database Theory, pages 140--154, Delphi, Greece, January 1997. http://citeseer.ist.psu.edu/article/dong97local.html More
@article{ dong00local,
author = "Guozhu Dong and Leonid Libkin and Limsoon Wong",
title = "Local properties of query languages",
journal = "Theoretical Computer Science",
volume = "239",
number = "2",
pages = "277--308",
year = "2000",
url = "citeseer.ist.psu.edu/article/dong97local.html" }
Citations (may not include all citations):775 Foundations of Databases (context) - Abiteboul, Hull et al. - 1995 ACM DBLP
294 Finite Model Theory (context) - Ebbinghaus, Flum - 1995
224 Semantics of Programming Languages: Structures and Technique.. (context) - Gunter - 1992
211 Languages that capture complexity classes - Immerman - 1987 ACM DBLP
116 On local and non-local properties (context) - Gaifman - 1982
115 An application of games to the completeness problem of forma.. (context) - Ehrenfeucht - 1961
106 Equivalence of relational algebra and relational calculus qu.. (context) - Klug - 1982 ACM DBLP
98 Incremental maintenance of views with duplicates (context) - Griffin, Libkin - 1995 ACM DBLP
93 Principles of programming with complex objects and collectio.. - Buneman, Naqvi et al. - 1995 ACM DBLP
81 Probabilities on finite models (context) - Fagin - 1976
66 Describing graphs: A first order approach to graph canonizat.. - Immerman, Lander - 1990
60 Normal forms and conservative properties for query languages.. - Wong - 1996 ACM DBLP
55 Towards tractable algebras for bags - Grumbach, Milo - 1996 ACM DBLP
54 and logarithmic space (context) - Etessami, quantifiers et al. - 1997
54 Low complexity aggregation in GraphLog and Datalog - Consens, Mendelzon - 1993 ACM DBLP
50 Extending relational algebra and relational calculus with se.. (context) - Ozsoyoglu, Ozsoyoglu et al. - 1987 ACM DBLP
49 Model-Theoretic Logics (context) - Barwise, Feferman - 1985
49 Local properties of query languages - Dong, Libkin et al. ACM DBLP
49 On monadic NP vs monadic co-NP (context) - Fagin, Stockmeyer et al. - 1994
49 Query languages for bags and aggregate functions - Libkin, Wong - 1997
49 Model-theoretic methods in the study of elementary logic (context) - Hanf - 1965
44 Information and Computation (context) - Hella, in - 1996 DBLP
43 Incremental and Decremental Evaluation of Transitive Closure.. (context) - Dong, Su - 1995 ACM DBLP
39 Converting nested relational algebra expressions into flat a.. (context) - Paredaens, Van Gucht - 1992
37 Algebraic properties of bag data types (context) - Albert - 1991 ACM DBLP
35 Some properties of query languages for bags - Libkin, Wong - 1993 ACM DBLP
35 Optimization of real conjunctive queries (context) - Chaudhuri, Vardi - 1993 ACM
31 Notions of locality and their logical characterizations over.. - Hella, Libkin et al. DBLP
29 On winning strategies with unary quantifiers - Nurmonen - 1996 DBLP
29 Conservativity of nested relational calculi with internal ge.. - Libkin, Wong - 1994 ACM DBLP
27 the forms of locality over finite models - Libkin - 1997
27 Dyn-FO: A parallel dynamic complexity class - Patnaik, Immerman - 1997
23 Space-bounded FOIES (context) - Dong, Su - 1995 DBLP
17 Query languages for complex object databases (context) - Abiteboul, Kanellakis - 1990
17 On counting logics and local properties - Libkin - 1998 ACM DBLP
17 the power of aggregation in relational query languages - Libkin, Wong - 1998
16 Query languages for bags: expressive power and complexity - Grumbach, Libkin et al. - 1996
14 On representation and querying incomplete information in dat.. - Libkin, Wong - 1995 ACM DBLP
12 On impossibility of decremental recomputation of recursive q.. - Dong, Libkin et al. - 1995 ACM DBLP
11 Theoretical Computer Science (context) - Grumbach, Tollu et al. - 1995 ACM
9 and linear orders (context) - Libkin, Wong et al. - 1993
7 Unary quantifiers and finite structures (context) - Nurmonen - 1996
3 Generalized quantifiers - Vaananen - 1997 DBLP
3 emes de relations. Universit (context) - Fraiss'e, classifications et al. - 1954
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