1. ICDT 1986: Rome, Italy

@proceedings{DBLP:conf/icdt/86,
  editor    = {Giorgio Ausiello and
               Paolo Atzeni},
  title     = {ICDT'86, International Conference on Database Theory, Rome, Italy,
               September 8-10, 1986, Proceedings},
  booktitle = {ICDT},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {243},
  year      = {1986},
  isbn      = {3-540-17187-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Title, Foreword, Table of Contents.
  Electronic Edition BibTeX

Invited Lectures

• Paris C. Kanellakis:
  Logic Programming and Parallel Complexity. 1-30
  Electronic Edition BibTeX
• Domenico Saccà, Carlo Zaniolo:
  The Generalized Counting Method for Recursive Logic Queries. 31-53
  Electronic Edition BibTeX

Contributed Papers

• Serge Abiteboul, Richard Hull:
  Restructuring of Complex Objects and Office Forms. 54-72
  Electronic Edition BibTeX
• Paolo Atzeni, Douglas Stott Parker Jr.:
  Set Containment Inference. 73-90
  Electronic Edition BibTeX
• Peter Buneman, Atsushi Ohori:
  A Domain Theoretic Approach to Higher-Order Relations. 91-104
  Electronic Edition BibTeX
• Edward P. F. Chan, Héctor J. Hernández:
  On the Desirability of gamma-Acyclic BCNF Database Schemes. 105-122
  Electronic Edition BibTeX
• Laurence Cholvy:
  Update Semantics under the Domain Closure Assumption. 123-140
  Electronic Edition BibTeX
• Bernhard Convent:
  Unsolvable Problems Related To The View Integration Approach. 141-156
  Electronic Edition BibTeX
• Paul De Bra:
  Horizontal Decompositions Based on Functional-Dependency-Set-Implications. 157-170
  Electronic Edition BibTeX
• R. C. Hansdah, Lalit M. Patnaik:
  Update Serializability in Locking. 171-185
  Electronic Edition BibTeX
• Michael Kifer, Eliezer L. Lozinskii:
  Filtering Data Flow in Deductive Databases. 186-202
  Electronic Edition BibTeX
• Hans-Peter Kriegel, Bernhard Seeger:
  Multidimensional Order Preserving Linear Hashing with Partial Expansions. 203-220
  Electronic Edition BibTeX
• V. S. Lakshmanan:
  Split-Freedom and MVD-Intersection: A New Characterization of Multivalued Dependencies Having Conflict-Free Covers. 221-241
  Electronic Edition BibTeX
• Georg Lausen, Eljas Soisalon-Soininen, Peter Widmayer:
  Towards Online Schedulers Based on Pre-Analysis Locking. 242-259
  Electronic Edition BibTeX
• Nadine Lerat:
  Query Processing in Incomplete Logical Databases. 260-277
  Electronic Edition BibTeX
• Nancy A. Lynch, Michael Merritt:
  Introduction to the Theory of Nested Transactions. 278-305
  Electronic Edition BibTeX
• Johann A. Makowsky, Victor M. Markowitz, Nimrod Rotics:
  Entity-Relationship Consistency for Relational Schemas. 306-322
  Electronic Edition BibTeX
• Francesco M. Malvestuto:
  Modelling Large Bases of Categorial Data With Acyclic Schemes. 323-340
  Electronic Edition BibTeX
• Shamim A. Naqvi:
  Some Extensions to the Closed World Assumption in Databases. 341-348
  Electronic Edition BibTeX
• B. John Oommen, E. R. Hansen:
  Expedient Stochastic Move-to-Front and optimal Move-to-Rear List Organizing Strategies. 349-364
  Electronic Edition BibTeX
• Peter K. Rathmann:
  The Cost of Locking. 365-379
  Electronic Edition BibTeX
• Marc H. Scholl:
  Theoretical Foundation of Algebraic Optimization Utilizing Unnormalized Relations. 380-396
  Electronic Edition BibTeX
• Peter Thanisch, George Loizou:
  A Polynomial-Time Join Dependency Implication Algorithm for Multi-Valued Dependencies. 397-408
  Electronic Edition BibTeX
• Dirk Van Gucht:
  Interaction-Free Multivalued Dependency Sets. 409-420
  Electronic Edition BibTeX
• Marianne Winslett:
  Updating Logical Databases Containing Null Values. 421-435
  Electronic Edition BibTeX
• Ouri Wolfson:
  A New Characterization of Distributed Deadlock in Databases. 436-444
  Electronic Edition BibTeX