3. ICDT 1990: Paris, France

@proceedings{DBLP:conf/icdt/90,
  editor    = {Serge Abiteboul and
               Paris C. Kanellakis},
  title     = {ICDT'90, Third International Conference on Database Theory, Paris,
               France, December 12-14, 1990, Proceedings},
  booktitle = {ICDT},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {470},
  year      = {1990},
  isbn      = {3-540-53507-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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

Finite Model Theory

• Ronald Fagin:
  Finite-Model Theory - a Personal Perspective. 3-24
  Electronic Edition BibTeX
• Stéphane Grumbach, Victor Vianu:
  Playing Games with Objects. 25-38
  Electronic Edition BibTeX

Object-Oriented Databases

• Atsushi Ohori:
  Representing Object Identity in a Pure Functional Language. 41-55
  Electronic Edition BibTeX
• Giorgio Ghelli:
  A Class Abstraction for a Hierarchical Type System. 56-71
  Electronic Edition BibTeX
• Catriel Beeri, Yoram Kornatzky:
  Algebraic Optimization of Object-Oriented Query Languages. 72-88
  Electronic Edition BibTeX
• Marc H. Scholl, Hans-Jörg Schek:
  A Relational Object Model. 89-105
  Electronic Edition BibTeX

Data Structures

• Gabriel Matsliach, Oded Shmueli:
  Maintaining Bounded Disorder Files in Multiprocessor Multi-Disk Environments. 109-125
  Electronic Edition BibTeX
• Véronique Benzaken:
  An Evaluation Model for Clustering Strategies in the O2 Object-Oriented Database System. 126-140
  Electronic Edition BibTeX
• Vassilis J. Tsotras, B. Gopinath:
  Efficient Algorithms for Managing the History of Evolving Databases. 141-174
  Electronic Edition BibTeX

Constraint Logic Programming

• Hervé Gallaire, Jean-Marie Nicolas:
  Logic and Databases: An Assessment. 177-186
  Electronic Edition BibTeX
• Peter Z. Revesz:
  A Closed Form for Datalog Queries with Integer Order. 187-201
  Electronic Edition BibTeX
• Gabriel M. Kuper:
  On The Expressive Power of the Relational Calculus with Arithmetic Constraints. 202-211
  Electronic Edition BibTeX

Dependencies

• Jyrki Nummenmaa, Peter Thanisch:
  Conjectures and Refutations in Database Design and Dependency Theory. 215-228
  Electronic Edition BibTeX
• Grant E. Weddell, Neil Coburn:
  A Theory of Specialization Constraints for Complex Objects. 229-244
  Electronic Edition BibTeX
• Paul De Bra, Jan Paredaens:
  Removing Redundancy and Updating Databases. 245-256
  Electronic Edition BibTeX

Concurrency Control

• Stefan Böttcher:
  Improving the Concurrency of Integrity Checks and Write Operations. 259-273
  Electronic Edition BibTeX
• Rainer Unland:
  A Flexible and Adaptable Tool Kit Approach for Concurrency Control in Non Standard Database Systems. 274-288
  Electronic Edition BibTeX

Fault Tolerance

• Ouri Wolfson:
  A Comparative Analysis of Two-Phase-Commit Protocols. 291-304
  Electronic Edition BibTeX
• Jehan-François Pâris:
  Efficient Voting Protocols with Witnesses. 305-317
  Electronic Edition BibTeX
• Uwe M. Borghoff:
  Voting and Relocation Strategies Preserving Consistency among Replicated Files. 318-332
  Electronic Edition BibTeX

Logic and Databases

• Nicole Bidoit, P. Legay:
  WELL!: An Evaluation Procedure for All Logic Programs. 335-348
  Electronic Edition BibTeX
• Stefan Brass:
  Beginnings of a Theory of General Database Completions. 349-363
  Electronic Edition BibTeX
• Ron van der Meyden:
  Recursively Indefinite Databases. 364-378
  Electronic Edition BibTeX
• Mariano P. Consens, Alberto O. Mendelzon:
  Low Complexity Aggregation in GraphLog and Datalog. 379-394
  Electronic Edition BibTeX
• Irène Guessarian:
  Deciding Boundedness for Uniformly Connected Datalog Programs. 395-405
  Electronic Edition BibTeX

Updates

• Leigh Willard, Li-Yan Yuan:
  The Revised Gärdenfors Postulates and Update Semantics. 409-421
  Electronic Edition BibTeX
• Stephen J. Hegner:
  Foundations of Canonical Update Support for Closed Database Views. 422-436
  Electronic Edition BibTeX
• Hendrik Decker:
  Drawing Updates From Derivations. 437-451
  Electronic Edition BibTeX

Optimization

• Pratul Dublish, Joachim Biskup, Yehoshua Sagiv:
  Optimizatioin of a Subclass of Conjunctive Queries. 455-469
  Electronic Edition BibTeX
• Maurice A. W. Houtsma, Peter M. G. Apers, Stefano Ceri:
  Complex Transitive Closure Queries on a Fragmented Graph. 470-484
  Electronic Edition BibTeX
• Seppo Sippu, Eljas Soisalon-Soininen:
  Multiple SIP Strategies and Bottom-Up Adorning in Logic Query Optimization. 485-498
  Electronic Edition BibTeX
• Jeffrey F. Naughton, S. Seshadri:
  On Estimating the Size of Projections. 499-513
  Electronic Edition BibTeX
• Saumya K. Debray, Nai-Wei Lin:
  Static Estimation of Query Sizes in Horn Programs. 514-528
  Electronic Edition BibTeX