ICDT '86: International Conference on Database Theory Rome, Italy, September 8–10, 1986 Proceedings

Logic programming and parallel complexity....Pages 1-30
The generalized counting method for recursive logic queries....Pages 31-53
Restructuring of complex objects and office forms....Pages 54-72
Set containment inference....Pages 73-90
A domain theoretic approach to higher-order relations....Pages 91-104
On the desirability of γ-acyclic BCNF database schemes....Pages 105-122
Update semantics under the domain closure assumption....Pages 123-140
Unsolvable problems related to the view integration approach....Pages 141-156
Horizontal decompositions based on functional-dependency-setimplications....Pages 157-170
Update serializability in locking....Pages 171-185
Filtering data flow in deductive databases....Pages 186-202
Multidimensional order preserving linear hashing with partial expansions....Pages 203-220
Split-freedom and MVD-intersection: A new characterization of multivalued dependencies having conflict-free covers....Pages 221-241
Towards online schedulers based on Pre-Analysis Locking....Pages 242-259
Query processing in incomplete logical databases....Pages 260-277
Introduction to the theory of nested transactions....Pages 278-305
Entity-relationship consistency for relational schemas....Pages 306-322
Modelling large bases of categorical data with acyclic schemes....Pages 323-340
Some extensions to the closed world assumption in databases....Pages 341-348
Expedient stochastic move-to-front and optimal stochastic move-to-rear list organizing strategies....Pages 349-364
The cost of locking....Pages 365-379
Theoretical foundation of algebraic optimization utilizing unnormalized relations....Pages 380-396
A polynomial-time join dependency implication algorithm for unary multi-valued dependencies....Pages 397-408
Interaction-free multivalued dependency sets....Pages 409-420
Updating logical databases containing null values....Pages 421-435
A new characterization of distributed deadlock in databases....Pages 436-444