Download:
|
by Kasim S. Candan, V. S. Subrahmanian
http://www.cs.umd.edu/Library/TRs/CS-TR-3316/CS-TR-3316.ps.Z
Add To MetaCart
Abstract:
Litwin et. al. have developed a language called MSQL for query multidatabases. Subsequently, Grant, Litwin, Roussopolous and Sellis have developed a calculus and algebra associated with MSQL that facilitates querying and interoperation in a multidatabase environment. In this paper, we build upon their framework by assuming that a set of integrity constraints must be satisfied. Even though each individual database in a multidatabase may satisfy the integrity constraints, the entire multidatabase itself may not satisfy the constraints. We propose three new data retrieval notions based on whether the constraint semantics is "naive", "skeptical " or makes "choices. " We propose a semantics for these operations, and develop an algebra and calculus based on these operators. We prove that the algebra can be embedded within the calculus-- however, the calculus is strictly more powerful than the algebra. We study various algebraic properties linking the newly defined operators together and show how these algebraic properties can be used for query optimization. 1
Citations
|
7709
|
Computers and Intractability: A Guide to the Theory of NP-Completeness
– Garey, Johnson
- 1979
|
|
854
|
UFederated Database Systems for Managing Distributed, Heterogeneous, and Autonomous Databases," A CM Computing Surveys
– Sheth, Larson
- 1990
|
|
206
|
Deriving production rules for constraint maintenance
– Ceri, Widom
- 1990
|
|
126
|
Language Features for Interoperability of Databases with Schematic Discrepancies
– Krishnamurthy, Litwin, et al.
- 1991
|
|
83
|
C.: View Integration: A Step Forward in Solving Structural Conflicts
– Spaccapietra, Parent
- 1994
|
|
80
|
Multidatabase interoperability
– Litwin, Abdellailf
- 1986
|
|
61
|
Constraint checking with partial information
– Gupta, Sagiv, et al.
- 1994
|
|
16
|
Conflict Resolution of Rules Assigning Values to Virtual Attributes
– IOANNIDIS, SELLIS
- 1989
|
|
9
|
An algebra and calculus for relational multidatabase systems
– Grant, Litwin, et al.
- 1991
|
|
9
|
Stable Models and Non-Determinism
– Sacca, Zaniolo
- 1990
|
|
8
|
Design and implementation of a logic-based language for data-intensive applications
– Zaniolo
- 1988
|
|
5
|
A Unified Semantics for Active and Deductive Databases, in "Rules in Database Systems
– Zaniolo
- 1993
|
|
4
|
On Maintaining
– Agrawal, Cochrane, et al.
- 1991
|
|
2
|
MSQL: A Multidatabase Language
– Vigier
- 1989
|
