Advances in Database Technology - EDBT '90

Deductive Databases-theory meets practice.- An adaptive overflow technique for B-trees.- Single table access using multiple indexes: Optimization, execution, and concurrency control techniques.- Optimization of queries using nested indices.- A probabilistic relational data model.- Extending the functional data model to computational completeness.- Methods and tools for equivalent data model mapping construction.- The many faces of query monotonicity.- File access level optimization using page access graph on recursive query evaluation.- Abstract machine for $$\mathcal{L}\mathcal{D}\mathcal{L}$$ .- Query processing in distributed ORION.- A localized approach to distributed query processing.- Retrieval of multimedia documents by imprecise query specification.- A lock technique for disjoint and non-disjoint complex objects.- Modeling physical systems by complex structural objects and complex functional objects.- Uniform object management.- Exceeding the limits of polymorphism in database programming languages.- Set operations in a data model supporting complex objects.- Existentially quantified types as a database viewing mechanism.- Panel: Has theory brought anything to database systems and will it in the future?.- The HyperModel benchmark.- LISPO2: A persistent object-oriented lisp.- The Iris Kernel architecture.- Integrating concurrency control into an object-oriented database system.- Representation of the historical information necessary for temporal integrity monitoring.- Making an object-oriented DBMS active: Design, implementation, and evaluation of a prototype.- A theory for rule triggering systems.- A pragmatic approach for integrating data management and tasks management: Modelling and implementation issues.- The reuse and modification of rulebases by predicate substitution.- Panel: "Why are object-oriented folks producing systems, while deductive folks are producing papers?".