Deductive and object-oriented databases : Third International Conference, DOOD '93, Phoenix, Arizona, USA, December 6-8, 1993 : proceedings

Stefano Ceri, Katsumi Tanaka, Shalom Tsur, (eds.)

[目次]

• Treating programs as objects: The computational proxy experience.- Foundations of aggregation in deductive databases.- The differential fixpoint operator with subsumption.- Datalog with non-deterministic choice computes NDB-PTIME.- A deductive and object-oriented approach to a complex scheduling problem.- On the logical foundations of schema integration and evolution in heterogeneous database systems.- Explaining program execution in deductive systems.- A logic for rule-based query optimization in graph-based data models.- Specifying rule-based query optimizers in a reflective framework.- Semantic query optimization in deductive object-oriented databases.- Research in deductive and object-oriented databases.- An implementation overview of the Aditi deductive database system.- Negation and aggregates in recursive rules: the LDL++ approach.- IsaLog--: A deductive language with negation for complex-object databases with hierarchies.- On efficient reasoning with implication constraints.- Bottom-up query evaluation with partially ordered defaults.- An extension of path expressions to simplify navigation in object-oriented queries.- Query classes.- Database updating revisited.- Super-key classes for updating materialized derived classes in object bases.- Applications of deductive and object-oriented databases.- Beyond data dictionaries: Towards a reflective architecture of intelligent database systems.- A deductive and typed object-oriented language.- Noodle: A language for declarative querying in an object-oriented database.- Tracking causal dependencies in an active object-oriented database.- Automatic class and method generation for object-oriented databases.- Modeling multilevel entities using single level objects.- A model using classes as a basic organization tool.- Knowledge base revision using circumscription.- Versioning of objects in deductive databases.- A model for sets and multiple inheritance in deductive object-oriented systems.

「Nielsen BookData」より