Proceedings of the 4th International Conference on Database Theory (ICDT), Berlin, Germany, 1992

Original publisher: Springer Verlag, LNCS - Lecture Notes in Computer Science, Volume: 646, ISBN: 3-540-56039-4, Electronic Edition

Invited Lectures

[DOI] Combinatorial and Algebraic Results for Database Relations.
Gyula O. H. Katona   pp. 1-20
[DOI] Semantics of Disjunctive Deductive Databases.
José Alberto Fernández, Jack Minker   pp. 21-50
[DOI] Database Theory in Russia (1979-1991) (an overview).
M. Sh. Tsalenko   pp. 51-70

Research Sessions

Constraints and Decomposition
[DOI] On the Composition and Decomposition of Attributes and Tuples.
János Demetrovics, Lajos Rónyai, Hua nam Son   pp. 71-85
[DOI] Approximate Dependency Inference from Relations.
Jyrki Kivinen, Heikki Mannila   pp. 86-98
[DOI] Views and Decompositions of Databases from a Categorical Perspective.
Chris Tuijn, Marc Gyssens   pp. 99-112
Query Languages
[DOI] Computing with Infinitary Logic.
Serge Abiteboul, Moshe Y. Vardi, Victor Vianu   pp. 113-123
[DOI] Query Languages with Counters.
Stéphane Grumbach, Christophe Tollu   pp. 124-139
[DOI] Naturally Embedded Query Languages.
Val Tannen, Peter Buneman, Limsoon Wong   pp. 140-154
Updates and Active Databases
[DOI] Optimizing Incremental Computation of Datalog Programs with Non-deterministic Semantics.
Françoise Fabret, Mireille Régnier, Eric Simon   pp. 155-170
[DOI] Optimizing Active Databases using the Split Technique.
Serge Abiteboul, Allen Van Gelder   pp. 171-187
[DOI] Updating Atomic Information in Labelled Database Systems.
Marcelo Finger, Dov M. Gabbay   pp. 188-200
Concurrency Control and Recovery
[DOI] Context-Specific Synchronization for Atomic Data Types.
Man Hon Wong, Divyakant Agrawal   pp. 201-215
[DOI] Hybrid Atomicity for Nested Transactions.
Alan Fekete, Nancy A. Lynch, William E. Weihl   pp. 216-230
[DOI] Model and Verification of a Data Manager Based on ARIES.
Dean Kuo   pp. 231-245
Knowledge Bases
[DOI] Minimizing Indefinite Information in Disjunctive Deductive Databases.
Monica D. Barback, Jorge Lobo, James J. Lu   pp. 246-260
[DOI] Well Founded Semantics and Stable Semantics of Semi-Strict Programs.
Françoise Gire   pp. 261-275
[DOI] On Finding Extensions of Default Theories.
Christos H. Papadimitriou, Martha Sideri   pp. 276-281
Datalog Complexity and Optimization
[DOI] Incremental Evaluation of Datalog Queries.
Guozhu Dong, Rodney W. Topor   pp. 282-296
[DOI] Decidability and Undecidability of Equivalence for Linear Datalog with Applications to Normal-Form Optimizations.
Tomás Feder, Yatin P. Saraiya   pp. 297-311
[DOI] A Paradox in Database Theory.
Stéphane Grumbach   pp. 312-325
Object Orientation
[DOI] A Hierarchy of Faithful Set Creation in Pure OODB's.
Jan Van den Bussche, Dirk Van Gucht   pp. 326-340
[DOI] Identification, Genericity and Consistency in Object-Oriented Databases.
Klaus-Dieter Schewe, Joachim W. Schmidt, Ingrid Wetzel   pp. 341-356
[DOI] Subsumption for Complex Object Data Models.
Domenico Beneventano, Sonia Bergamaschi   pp. 357-375
Information Capacity and Security
[DOI] Semantic Information Connected with Data.
Marie Duzí   pp. 376-390
[DOI] Declarative Foundations of Secure Deductive Databases.
Piero A. Bonatti, Sarit Kraus, V. S. Subrahmanian   pp. 391-406
Data Structures and Algorithms
[DOI] On Materializing Views and On-Line Queries.
Håkan Jakobsson   pp. 407-420
[DOI] Maintaining Dictionaries: Space-Saving Modifications of B-Trees.
Anatoly P. Pinchuk, Konstantin V. Shvachko   pp. 421-435
[DOI] Set-Term Matching in Logic Programming.
Natraj Arni, Sergio Greco, Domenico Saccà   pp. 436-449
The full-text material linked from here is (c) Springer Verlag. The 'get via DOI' ([DOI]) link loads the full-text from Springer Link. Notice that a subscription (or pay-per-view) is necessary to actually load the PDFs.
Menu
Related links