See this document in CiteSeerX!

Semantic Representations and Query Languages for Or-Sets (1993)  (Make Corrections)  (33 citations)
Leonid Libkin, Limsoon Wong



  Home/Search   Context   Related

Links:   ACM   DBLP

 
View or download:
astar.edu.sg/limsoon/...lwjcss93.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: Or-sets were introduced by Imielinski, Naqvi, and Vadaparty for dealing with limited forms of disjunctive information in database queries. Independently, Rounds used a similar notion for representing disjunctive and conjunctive information in the context of situation theory. In this paper we formulate a query language with adequate expressive power for or-sets. Using the notion of normalization of or-sets, queries at the "structural" and "conceptual" levels are distinguished. Losslessness... (Update)

Cited by:   More
Query Languages for Bags and Aggregate Functions - Libkin, Wong (1997)   (Correct)
On Representation and Querying Incomplete Information - In Databases With   (Correct)
Semantic Representations and Query Languages for Or-Sets - Libkin, Wong (1993)   (Correct)

Similar documents (at the sentence level):
29.7%:   Semantic Representations and Query Languages for Or-sets - Libkin, Wong (1993)   (Correct)

Active bibliography (related documents):   More   All
0.7:   Algebraic Characterization of Edible Powerdomains - Libkin (1993)   (Correct)
0.6:   Normalizing Incomplete Databases - Libkin (1995)   (Correct)
0.6:   Approximation in Databases - Libkin (1995)   (Correct)

Similar documents based on text:   More   All
0.4:   On Representation and Querying Incomplete Information in.. - Libkin, Wong (1995)   (Correct)
0.3:   Relational Expressive Power of Constraint Query Languages - Benedikt, Dong, Libkin, Wong (1995)   (Correct)
0.3:   On Impossibility of Decremental Recomputation of Recursive.. - Dong, Libkin (1995)   (Correct)

Related documents from co-citation:   More   All
26:   Using powerdomains to generalize relational databases - Buneman, Jung et al. - 1991
20:   Naturally embedded query languages (context) - Breazu-Tannen, Buneman et al. - 1992
17:   A relational algebra for complex objects based on partial information - Libkin - 1991

BibTeX entry:   (Update)

L. Libkin and L. Wong. Semantic Representations and Query Languages for Orsets. In Proceedings of 12th ACM Symposium on Principles of Database Systems, pages 37--48, Washington, D. C., May 1993. http://citeseer.ist.psu.edu/article/libkin93semantic.html   More

@inproceedings{ libkin93semantic,
    author = "Leonid Libkin and Limsoon Wong",
    title = "Semantic Representations and Query Languages for {OR}-Sets",
    pages = "37--48",
    year = "1993",
    url = "citeseer.ist.psu.edu/article/libkin93semantic.html" }
Citations (may not include all citations):
788   Rewrite systems - Dershowitz, Jouannand - 1990  ACM   DBLP
369   Information and Computation (context) - Moggi, computation - 1991  DBLP
291   Theoretical Computer Science (context) - Gunter, powerdomain - 1992  ACM
149   A Logical Language for Data and Knowledge Bases (context) - Naqvi, Tsur - 1989  ACM
129   the power of languages for the manipulation of complex objec.. - Abiteboul, Beeri - 1988
117   Semantic Domains - Gunter, Scott - 1990  ACM   DBLP
101   Incomplete information in relational databases (context) - Imielinski, Lipski - 1984  ACM   DBLP
94   Mathematical Structures in Computer Science (context) - Wadler, monads - 1992
59   Using powerdomains to generalize relational databases - Buneman, Ohori et al. - 1991  ACM   DBLP
58   Theoretical Computer Science (context) - Winskel, modality - 1985  ACM
43   The Definition of Standard ML (context) - Harper, Milner et al. - 1990  ACM
36   A semantics for complex objects and approximate answers (context) - Buneman, Davidson et al. - 1991  ACM   DBLP
35   Some properties of query languages for bags - Libkin, Wong - 1993  ACM   DBLP
33   Semantic representations and query languages for or-sets - Libkin, Wong - 1993
31   Incomplete objects --- a data model for design and planning .. (context) - Imielinski, Naqvi et al. - 1991
29   Conservativity of nested relational calculi with internal ge.. - Libkin, Wong - 1994  ACM   DBLP
28   A relational algebra for complex objects based on partial in.. - Libkin - 1991
18   Aspects of Partial Information in Databases (context) - Libkin - 1994  ACM
17   Approximation in databases - Libkin - 1995  ACM   DBLP
16   Situation-theoretic aspects of databases (context) - Rounds - 1991
15   Normalizing incomplete databases - Libkin - 1995  ACM   DBLP
12   Convex Spaces as an Order-theoretic Basis for Problem Solvin.. (context) - Ngair - 1992
11   The snack powerdomain for database semantics (context) - Puhlmann - 1993  ACM   DBLP
11   OR-SML: A functional database programming language for disju.. - Gunter, Libkin - 1994  DBLP
10   Querying design and planning databases (context) - Imielinski, Naqvi et al. - 1991  DBLP
9   Structural recursion as a query language (context) - Breazu-Tannen, Buneman et al. - 1991  ACM   DBLP
8   Hoare and Smyth power domain constructors commute under comp.. (context) - Flannery, Martin - 1990
8   Lower and upper power domain constructions commute on all cp.. - Heckmann - 1991  ACM   DBLP
8   An elementary proof that upper and lower powerdomain constru.. - Libkin - 1992  DBLP
7   Complexity tailored design: A new design methodology for dat.. - Imielinski, van der Meyden et al.  DBLP
5   Israel Journal of Mathematics (context) - Moon, Moser et al. - 1965
2   LNCS 646: Proceedings of International Conference on Databas.. (context) - Buneman, Naqvi et al. - 1992
2   LNCS 361: Nested Relations and Complex Objects in Databases (context) - Abiteboul, Fischer et al. - 1989
1   Logical and computational aspect programming with setbaglist (context) - Subrahmanyam, computational et al. - 1991



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
BioKleisli: A Digital Library for Biomedical Researchers - Davidson, Overton, Tannen.. (1996)   (Correct)
S-Hash: An Indexing Scheme for Approximate Subsequence.. - Pang, Ooi, Wong   (Correct)
The Use of Emerging Patterns in the Analysis of Gene.. - Dong, Li, Wong (2003)   (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