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

Programming in logic has been a fundamental theme in Computer Science theory and practice, ever since their early days, and is in large part motivated by the elegant and precise qualities of mathematical logic. 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