Download:
|
by Marc Andries, Luca Cabibbo, Jan Van Den Bussche
ftp://151.100.16.20/pub/cabibbo/pods95.ps.gz
Add To MetaCart
Abstract:
In the context of object databases, we study the application of an update method to a collection of receivers rather than to a single one. The obvious strategy of applying the update to the receivers one after the other, in some arbitrary order, brings up the problem of order independence. On a very general level, we investigate how update behavior can be analyzed in terms of certain schema annotations called colorings. We are able to characterize those colorings which always describe order-independent updates. We also consider a more specific model of update methods implemented in the relational algebra. Order independence of such algebraic methods is undecidable in general, but decidable if the expressions used are positive. Finally, we consider an alternative parallel strategy for set-oriented application of algebraic methods and compare and relate it to the sequential strategy.
Citations
|
200
|
Universality of data retrieval languages
– Aho, Ullman
- 1979
|
|
102
|
Ilog: Declarative creation and manipulation of object identifiers
– Hull, Yoshikawa
- 1990
|
|
102
|
Equivalences among relational expressions with union and difference operators
– Sagiv, Yannakakis
- 1980
|
|
72
|
Equivalence among relational expressions
– Aho, Sagiv, et al.
- 1979
|
|
70
|
Logical and Computational Aspects of Programming with Sets/Bags/Lists
– Breazu-Tannen, Subrahmanyam
- 1991
|
|
68
|
Testing Implications of Data Dependencies
– Maier, Mendelzon, et al.
- 1979
|
|
60
|
Testing containment of conjunctive queries under functional and inclusion dependencies
– Johnson
- 1984
|
|
56
|
Procedural languages for database queries and updates
– Abiteboul, Vianu
- 1990
|
|
35
|
Programming primitives for database languages
– CHANDRA
- 1981
|
|
30
|
Containment and minimization of positive conjunctive queries in oodb’s
– Chan
- 1992
|
|
17
|
Mapping a Semantic Database Model to the Relational Model
– Lyngbaek, Vianu
- 1987
|
|
14
|
On accessing Object-Oriented Databases: Expressive Power, Complexity, and Restrictions
– Hull, Su
- 1989
|
|
12
|
Scholl: ”Deterministic Semantics of Set-Oriented Update Sequences
– Laasch, M
- 1993
|
|
8
|
The expressive power of the bounded-iteration construct
– Qian
- 1991
|
|
8
|
et al. Programming with Sets: An Introduction to SETL
– Schwartz
- 1986
|
