%A Paris C. Kanellakis %T Logic programming and parallel complexity %J Proceedings of the International Conference on Database Theory %C Rome, Italy %D September 1986 %E Giorgio Ausiello %E Paolo Atzeni %O published as Lecture Notes in Computer Science 243 by Springer-Verlag %K icdt icdt86 %P 1-30 %A Domenico Sacca %A Carlo Zaniolo %T The generalized counting method for recursive logic queries %J Proceedings of the International Conference on Database Theory %C Rome, Italy %D September 1986 %E Giorgio Ausiello %E Paolo Atzeni %O published as Lecture Notes in Computer Science 243 by Springer-Verlag %K icdt icdt86 %P 31-53 %A Serge Abiteboul %A Richard Hull %T Restructuring of complex objects and office forms %J Proceedings of the International Conference on Database Theory %C Rome, Italy %D September 1986 %E Giorgio Ausiello %E Paolo Atzeni %O published as Lecture Notes in Computer Science 243 by Springer-Verlag %K icdt icdt86 %P 54-72 %A Paolo Atzeni %A D. Stott Parker,\ Jr. %T Set containment inference %J Proceedings of the International Conference on Database Theory %C Rome, Italy %D September 1986 %E Giorgio Ausiello %E Paolo Atzeni %O published as Lecture Notes in Computer Science 243 by Springer-Verlag %K icdt icdt86 %P 73-90 %A Peter Buneman %A Atsushi Ohori %T A domain theoretic approach to higher-order relations %J Proceedings of the International Conference on Database Theory %C Rome, Italy %D September 1986 %E Giorgio Ausiello %E Paolo Atzeni %O published as Lecture Notes in Computer Science 243 by Springer-Verlag %K icdt icdt86 %P 91-104 %A Edward P.F. Chan %A Hector J. Hernandez %T On the desirability of gamma-acyclic BCNF database schemes %J Proceedings of the International Conference on Database Theory %C Rome, Italy %D September 1986 %E Giorgio Ausiello %E Paolo Atzeni %O published as Lecture Notes in Computer Science 243 by Springer-Verlag %K icdt icdt86 %P 105-122 %A Laurence Cholvy %T Update semantics under the domain closure assumption %J Proceedings of the International Conference on Database Theory %C Rome, Italy %D September 1986 %E Giorgio Ausiello %E Paolo Atzeni %O published as Lecture Notes in Computer Science 243 by Springer-Verlag %K icdt icdt86 %P 123-140 %A Bernhard Convent %T Unsolvable problems related to the view integration approach %J Proceedings of the International Conference on Database Theory %C Rome, Italy %D September 1986 %E Giorgio Ausiello %E Paolo Atzeni %O published as Lecture Notes in Computer Science 243 by Springer-Verlag %K icdt icdt86 %P 141-156 %A P. De\ Bra %T Horizontal decompositions based on functional dependency-set-implications %J Proceedings of the International Conference on Database Theory %C Rome, Italy %D September 1986 %E Giorgio Ausiello %E Paolo Atzeni %O published as Lecture Notes in Computer Science 243 by Springer-Verlag %K icdt icdt86 %P 157-170 %A R.C. Hansdah %A L.M. Patnaik %T Update serializability in locking %J Proceedings of the International Conference on Database Theory %C Rome, Italy %D September 1986 %E Giorgio Ausiello %E Paolo Atzeni %O published as Lecture Notes in Computer Science 243 by Springer-Verlag %K icdt icdt86 %P 171-185 %A Michael Kifer %A Elizier L. Lozinskii %T Filtering data flow in deductive databases %J Proceedings of the International Conference on Database Theory %C Rome, Italy %D September 1986 %E Giorgio Ausiello %E Paolo Atzeni %O published as Lecture Notes in Computer Science 243 by Springer-Verlag %K icdt icdt86 %P 186-202 %A Hans-Peter Kriegel %A Bernhard Seeger %T Multidimensional order preserving linear hashing with partial expansions %J Proceedings of the International Conference on Database Theory %C Rome, Italy %D September 1986 %E Giorgio Ausiello %E Paolo Atzeni %O published as Lecture Notes in Computer Science 243 by Springer-Verlag %K icdt icdt86 %P 203-220 %A V.S. Lakshmanan %T Split-freedom and MVD-intersection: a new characterization of multivalued dependencies having conflict-free covers %J Proceedings of the International Conference on Database Theory %C Rome, Italy %D September 1986 %E Giorgio Ausiello %E Paolo Atzeni %O published as Lecture Notes in Computer Science 243 by Springer-Verlag %K icdt icdt86 %P 221-241 %A Georg Lausen %A Eljas Soisalon-Soininen %A Peter Widmayer %T Towards online schedulers based on pre-analysis locking %J Proceedings of the International Conference on Database Theory %C Rome, Italy %D September 1986 %E Giorgio Ausiello %E Paolo Atzeni %O published as Lecture Notes in Computer Science 243 by Springer-Verlag %K icdt icdt86 %P 242-259 %A Nadine Lerat %T Query processing in incomplete logical databases %J Proceedings of the International Conference on Database Theory %C Rome, Italy %D September 1986 %E Giorgio Ausiello %E Paolo Atzeni %O published as Lecture Notes in Computer Science 243 by Springer-Verlag %K icdt icdt86 %P 260-277 %A Nancy Lynch %A Michael Merritt %T Introduction to the theory of nested transactions %J Proceedings of the International Conference on Database Theory %C Rome, Italy %D September 1986 %E Giorgio Ausiello %E Paolo Atzeni %O published as Lecture Notes in Computer Science 243 by Springer-Verlag %K icdt icdt86 %P 278-305 %A Johann A. Makowsky %A Victor M. Markowitz %A Nimrod Rotics %T Entity-relationship consistency for relational schemas %J Proceedings of the International Conference on Database Theory %C Rome, Italy %D September 1986 %E Giorgio Ausiello %E Paolo Atzeni %O published as Lecture Notes in Computer Science 243 by Springer-Verlag %K icdt icdt86 %P 306-322 %A F.M. Malvestuto %T Modelling large bases of categorical data with acyclic schemes %J Proceedings of the International Conference on Database Theory %C Rome, Italy %D September 1986 %E Giorgio Ausiello %E Paolo Atzeni %O published as Lecture Notes in Computer Science 243 by Springer-Verlag %K icdt icdt86 %P 323-340 %A Shamim A. Naqvi %T Some extensions to the closed world assumption in databases %J Proceedings of the International Conference on Database Theory %C Rome, Italy %D September 1986 %E Giorgio Ausiello %E Paolo Atzeni %O published as Lecture Notes in Computer Science 243 by Springer-Verlag %K icdt icdt86 %P 341-348 %A B. John Oommen %A E.R. Hansen %T Expedient stochastic move-to-front and optimal stochastic move-to-rear list organizing strategies %J Proceedings of the International Conference on Database Theory %C Rome, Italy %D September 1986 %E Giorgio Ausiello %E Paolo Atzeni %O published as Lecture Notes in Computer Science 243 by Springer-Verlag %K icdt icdt86 %P 349-364 %A Peter K. Rathmann %T The cost of locking %J Proceedings of the International Conference on Database Theory %C Rome, Italy %D September 1986 %E Giorgio Ausiello %E Paolo Atzeni %O published as Lecture Notes in Computer Science 243 by Springer-Verlag %K icdt icdt86 %P 365-379 %A Marc H. Scholl %T Theoretical foundation of algebraic optimization utilizing unnormalized relations %J Proceedings of the International Conference on Database Theory %C Rome, Italy %D September 1986 %E Giorgio Ausiello %E Paolo Atzeni %O published as Lecture Notes in Computer Science 243 by Springer-Verlag %K icdt icdt86 %P 380-396 %A F. Thanisch %A G. Loizou %T A polynomial-time join dependency implication algorithm for unary multi-valued dependencies %J Proceedings of the International Conference on Database Theory %C Rome, Italy %D September 1986 %E Giorgio Ausiello %E Paolo Atzeni %O published as Lecture Notes in Computer Science 243 by Springer-Verlag %K icdt icdt86 %P 397-408 %A Dirk Van\ Gucht %T Interaction-free multivalued dependency sets %J Proceedings of the International Conference on Database Theory %C Rome, Italy %D September 1986 %E Giorgio Ausiello %E Paolo Atzeni %O published as Lecture Notes in Computer Science 243 by Springer-Verlag %K icdt icdt86 %P 409-420 %A Marienne Winslett %T Updating logical databases containing null values %J Proceedings of the International Conference on Database Theory %C Rome, Italy %D September 1986 %E Giorgio Ausiello %E Paolo Atzeni %O published as Lecture Notes in Computer Science 243 by Springer-Verlag %K icdt icdt86 %P 421-435 %A Ouri Wolfson %T A new characterization of distributed deadlock in databases %J Proceedings of the International Conference on Database Theory %C Rome, Italy %D September 1986 %E Giorgio Ausiello %E Paolo Atzeni %O published as Lecture Notes in Computer Science 243 by Springer-Verlag %K icdt icdt86 %P 436-44