Deductive and Object-Oriented Databases 5th International Conference, DOOD'97, Montreux, Switzerland, December 8-12, 1997. Proceedings

This book constitutes the refereed proceedings of the 5th International Conference on Deductive and Object-Oriented Databases, DOOD'97, held in Montreux, Switzerland, in December 1997. The 22 revised full papers presented in this book were selected from a total of 59 submissions. Also included are abstracts or full versions of three invited talks and three tutorials and six short presentations. The papers are organized in topical sections on materialized view maintenance, extending DBMs features, database updates, managing change in object databases, semantics of active databases, formal semantics, and new directions.

Efficient data structures for deduction systems.- Inductive logic databases: From extensional to intensional knowledge.- Sharing software tools on the WEB: The IDEA Web Lab.- Transactional workflows.- From action theories to updates, transactions, triggers and agents — A tutorial.- Data warehousing and OLAP for decision support.- Maintaining constrained transitive closure by conjunctive queries.- Incremental updates for materialized OQL views.- View maintenance using conditional tables.- Adding uniqueness constraints to description logics.- A point-based temporal extension of SQL.- Attribute-oriented view definitions in relational and deductive databases.- Exploiting semantic of typed objects under an optimistic control in the transactional deferred update model: A promising approach.- Logical updating of object class structures.- An approach to obtain intensional translations for consistent view updating.- Trigger inheritance and overriding in active object database systems.- Object deltas in an active database development environment.- The coast project: Design and implementation.- Formal characterizations of active databases: Part II.- The nonmonotonic semantics of active rules in deductive databases.- Datalog++: A basis for active object-oriented databases.- Comparison of categorical foundations of object-oriented database model.- Well-founded semantics for deductive object-oriented database languages.- Deterministic semantics for datalog ?: complexity and expressive power.- On implementing structured document query facilities on top of a DOOD.- A data mining algorithm optimal for single rules.- On a declarative semantics for web queries.- Rule-based generation of logical query plans with controlled complexity.- A rule-based data manipulation language for OLAPsystems.- A general model for event specification in active database management systems.- Optimizing large OODB queries.- Nonmonotonic inheritance through specialization.- Overview of dynamic query evaluation in intensional query optimization.- Towards efficient evaluation of methods by reduction.