Proceedings of the 1st International Conference on Database Theory (ICDT), Rome, Italy, 1986

Original publisher: Springer Verlag, LNCS - Lecture Notes in Computer Science, Volume: 243, ISBN: 3-540-17187-8, Electronic Edition

Invited Lectures

[DOI] Logic Programming and Parallel Complexity.
Paris C. Kanellakis   pp. 1-30
[DOI] The Generalized Counting Method for Recursive Logic Queries.
Domenico Saccà, Carlo Zaniolo   pp. 31-53

Research Sessions

Contributed Papers
[DOI] Restructuring of Complex Objects and Office Forms.
Serge Abiteboul, Richard Hull   pp. 54-72
[DOI] Set Containment Inference.
Paolo Atzeni, Douglas Stott Parker Jr.   pp. 73-90
[DOI] A Domain Theoretic Approach to Higher-Order Relations.
Peter Buneman, Atsushi Ohori   pp. 91-104
[DOI] On the Desirability of gamma-Acyclic BCNF Database Schemes.
Edward P. F. Chan, Héctor J. Hernández   pp. 105-122
[DOI] Update Serializability in Locking.
R. C. Hansdah, Lalit M. Patnaik   pp. 171-185
[DOI] Filtering Data Flow in Deductive Databases.
Michael Kifer, Eliezer L. Lozinskii   pp. 186-202
[DOI] Multidimensional Order Preserving Linear Hashing with Partial Expansions.
Hans-Peter Kriegel, Bernhard Seeger   pp. 203-220
[DOI] Towards Online Schedulers Based on Pre-Analysis Locking.
Georg Lausen, Eljas Soisalon-Soininen, Peter Widmayer   pp. 242-259
[DOI] Introduction to the Theory of Nested Transactions.
Nancy A. Lynch, Michael Merritt   pp. 278-305
[DOI] Entity-Relationship Consistency for Relational Schemas.
Johann A. Makowsky, Victor M. Markowitz, Nimrod Rotics   pp. 306-322
[DOI] The Cost of Locking.
Peter K. Rathmann   pp. 365-379
[DOI] Interaction-Free Multivalued Dependency Sets.
Dirk Van Gucht   pp. 409-420
[DOI] Updating Logical Databases Containing Null Values.
Marianne Winslett   pp. 421-435