Leonid Libkin  Home/Search
Context Related
Links: ACM DBLP | belllabs.com/cm/cs/who/...pods95.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: belllabs.com/cm/cs/who/li...publ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Databases are often incomplete because of the presence of disjunctive information, due to conflicts, partial knowledge and other reasons. Queries against such databases often ask questions about various possibilities encoded by the stored data, rather than the stored data itself. Normalization, which is a mechanism for asking such queries, was presented in [LW93a]; however, it had exponential space complexity. The main goal of this paper is to develop a general theory of answering queries... (Update)
Context of citations to this paper: More
.... and or partial sets, has been investigated in depth in the context of relational and complex object databases [5, 7, 11, 14, 20, 21, 22, 28, 29, 30, 31, 39, 40]. Specific operators such as union [5] and join [7] are introduced to integrate partial information. However,...
.... report unsatisfiable in finite time if the set is indeed unsatisfiable; for satisfiable sets, however, termination cannot be guaranteed [22]. Likewise, the question whether a set of first order logical formulas is finitely satisfiable, is semi decidable: there are procedures...
Cited by: More
Query Languages for Bags and Aggregate Functions - Libkin, Wong (1997) (Correct)
Semantic Representations and Query Languages for Or-Sets - Libkin, Wong (1993) (Correct)
A Data Model for Semistructured Data with Partial and.. - Liu, Ling (2000) (Correct)
Active bibliography (related documents): More All
0.6: A Semantics-based Approach to Design of Query Languages for.. - Libkin (1994) (Correct)
0.4: Semantic Representations and Query Languages for Or-sets - Libkin, Wong (1993) (Correct)
0.4: Principles of Programming with Complex Objects and.. - Buneman, Naqvi, Tannen, .. (1995) (Correct)
Similar documents based on text: More All
0.1: Logics Capturing Local Properties - Libkin (2001) (Correct)
0.1: Incremental Recomputation in Local Languages - Dong, Libkin (2001) (Correct)
0.1: Relational Expressive Power of Constraint Query Languages - Benedikt, Dong, Libkin, Wong (1995) (Correct)
Related documents from co-citation: More All
10: A relational algebra for complex objects based on partial information - Libkin - 1991
9: Semantic Representations and Query Languages for Orsets - Libkin, Wong - 1993
8: Incomplete information in relational databases (context) - Imielinski, Lipski - 1984
BibTeX entry: (Update)
L. Libkin. Normalizing incomplete databases, In Proc. 14th ACM Symp. on Principles of Database Systems, San Jose CA, May 1995, pages 219--230. http://citeseer.ist.psu.edu/libkin95normalizing.html More
@inproceedings{ libkin95normalizing,
author = "Leonid Libkin",
title = "Normalizing Incomplete Databases",
pages = "219--230",
year = "1995",
url = "citeseer.ist.psu.edu/libkin95normalizing.html" }
Citations (may not include all citations):788 Rewrite systems - Dershowitz, Jouannand - 1990 ACM DBLP
268 Proofs and Types (context) - Girard - 1987 ACM
189 Foundations of Disjunctive Logic Programming (context) - Lobo, Minker et al. - 1992 ACM
152 Semantics of Programming Languages (context) - Gunter - 1992 ACM
129 the power of languages for the manipulation of complex objec.. - Abiteboul, Beeri - 1988
106 Naturally embedded query languages (context) - Breazu-Tannen, Buneman et al. ACM DBLP
101 Incomplete information in relational databases (context) - Imielinski, Lipski - 1984 ACM DBLP
90 Structural recursion as a query language - Breazu-Tannen, Buneman et al. ACM DBLP
59 Using powerdomains to generalize relational databases - Buneman, Jung et al. - 1991 ACM DBLP
55 Towards tractable algebras for bags - Grumbach, Milo ACM DBLP
44 New techniques for studying set languages (context) - Libkin, Wong
43 The Definition of Standard ML (context) - Harper, Milner et al. - 1990 ACM
41 the representation and querying of sets of possible worlds - Abiteboul, Kanellakis et al. - 1991
37 Algebraic properties of bag data types (context) - Albert ACM DBLP
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 - 1994 ACM DBLP
33 Semantic representations and query languages for or-sets - Libkin, Wong
31 Incomplete objects --- a data model for design and planning .. (context) - Imielinski, Naqvi et al.
28 A relational algebra for complex objects based on partial in.. - Libkin ACM DBLP
17 Approximation in databases - Libkin ACM DBLP
16 Situation-theoretic aspects of databases (context) - Rounds - 1991
11 OR-SML: A functional database programming language for disju.. - Gunter, Libkin
10 Querying design and planning databases (context) - Imielinski, Naqvi et al.
10 Any algorithm in the complex object algebra with powerset ne.. - Suciu, Paredaens ACM DBLP
10 Space usage in functional query languages - Abiteboul, Hillebrand ACM DBLP
8 An elementary proof that upper and lower powerdomain constru.. - Libkin - 1992
1 Complexity tailored design: A new methodology for database d.. (context) - Imielinski, van der Meyden et al.
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.bell-labs.com/cm/cs/who/libkin/publ.html): More
Direct Decompositions of Atomistic Algebraic Lattices - Libkin (1995) (Correct)
Models of Approximation in Databases - Libkin (Correct)
A Query Language for Multidimensional Arrays: Design.. - Libkin, Machlin, Wong (1996) (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