Deductive and Object-Oriented Databases

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 OLAP systems.- 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.