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 of normalization is established for a large class of queries. We have obtained upper bounds for the cost of normalization. An approach related to that of Rounds is used to provide semantics for or-sets. 1
|
7716
|
Computers and Intractability: A Guide to the Theory of NP-Completeness
– Garey, Johnson
- 1979
|
|
722
|
Rewrite systems
– Dershowitz, Jouannaud
- 1990
|
|
565
|
Notions of computation and monads
– Moggi
- 1991
|
|
393
|
Comprehending monads
– Wadler
- 1992
|
|
161
|
Incomplete Information in Relational Databases
– Imielinski, Jr
- 1984
|
|
156
|
S.: A Logical Language for Data and Knowledge Bases
– Naqvi, Tsur
- 1989
|
|
129
|
On the power of languages for the manipulation of complex objects
– Abiteboul, Beeri
- 1988
|
|
117
|
Naturally embedded query languages
– Breazu-Tannen, Buneman, et al.
- 1992
|
|
108
|
Structural recursion as a query language
– Breazu-Tannen, Buneman, et al.
- 1991
|
|
100
|
Principles of Programming with Complex Objects and Collection Types
– Buneman, Naqvi, et al.
- 1995
|
|
69
|
Logical and computational aspects of programming with sets/bags/lists
– Breazu-Tannen, Subrahmanyam
- 1991
|
|
60
|
Using powerdomains to generalize relational databases, Theoretical Computer Science 91�1991
– Buneman, Jung, et al.
|
|
52
|
On cliques in graphs
– Moon, Moser
|
|
46
|
The Definition of Standard ML
– Harper, Milner, et al.
- 1990
|
|
43
|
Some properties of query languages for bags
– Libkin, Wong
- 1993
|
|
35
|
A semantics for complex objects and approximate answers
– Buneman, Davidson, et al.
- 1991
|
|
32
|
Incomplete Objects - A Data Model for Design and Planning Applications
– Imieliński, Naqvi, et al.
- 1991
|
|
26
|
Aspects of Partial Information in Databases
– Libkin
- 1994
|
|
23
|
Conservativity of Nested Relational Calculi with Internal Generic Functions
– Libkin, Wong
- 1994
|
|
20
|
A Relational Algebra for Complex Objects based on Partial Information
– Libkin
- 1991
|
|
16
|
Normalizing incomplete databases
– Libkin
|
|
11
|
Complexity tailored design: A new design methodology for databases with incomplete information
– Imielinski, Meyden, et al.
|
|
11
|
Convex Spaces as an Order-theoretic Basis for Problem Solving
– Ngair
- 1992
|
|
10
|
OR-SML: A functional database programming language for disjunctive information and its applications
– Gunter, Libkin
|
|
9
|
Querying design and planning databases
– Imielinski, Naqvi, et al.
- 1991
|
|
9
|
An elementary proof that upper and lower powerdomain constructions commute
– Libkin
- 1992
|
|
8
|
private communication
– Jung
- 1992
|
|
8
|
Situation-theoretic aspects of databases
– Rounds
- 1991
|
|
8
|
Powerdomains and modality, Theoretical Computer Science 36
– Winskel
- 1985
|
|
7
|
Hoare and Smyth power domain constructors commute under composition
– Flannery, Martin
- 1990
|
|
7
|
The mixed powerdomain, Theoretical Computer Science 103
– Gunter
- 1992
|
|
7
|
The snack powerdomain for database semantics
– Puhlmann
- 1993
|
|
6
|
Lower and upper power domain constructions commute on all cpos
– Heckmann
- 1991
|
|
5
|
Rewrite systems, in "Handbook of Theoretical Computer Science
– Dershowitz, Jouannaud
- 1990
|
|
4
|
Semantic Domains, in "Handbook of Theoretical Computer Science
– Gunter, Scott
- 1990
|
|
4
|
Approximation in databases, in "LNCS 893
– Libkin
- 1995
|
|
3
|
Querying design and planning databases, in "LNCS 566
– Imielinski, Naqvi, et al.
- 1991
|
|
2
|
The mixed powerdomain, Theoret
– Gunter
- 1992
|
|
2
|
Algebraic characterization of edible powerdomains
– Libkin
- 1993
|
|
2
|
A Logical Language for Data and Knowledge Bases", Computer
– Naqvi, Tsur
- 1989
|
|
2
|
Situation-theoretic aspects of databases, in "CSLI 26
– Rounds
|
