This volume contains the proceedings of the Third International Conference on Deductive and Object-Oriented Databases. Its central tenet is that the object-oriented and deductive paradigms for modeling, organizing, and processing data complement each other, rather than competing, and that problems involving massive volumes of complex data can best be solved by integrating the best of both approaches. Central questions in the area are: - How do we design a tool that presents the best of the object-oriented and declarative ideas? - How can the users of this tool express their problems in a combination of declarative and procedural features? The volume includes 29 papers that contribute towards answering these questions.
Author(s): David Maier, Judith B. Cushing (auth.), Stefano Ceri, Katsumi Tanaka, Shalom Tsur (eds.)
Series: Lecture Notes in Computer Science 760
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1993
Language: English
Pages: 496
Tags: Database Management; Programming Techniques; Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages
Treating programs as objects: The computational proxy experience....Pages 1-12
Foundations of aggregation in deductive databases....Pages 13-34
The differential fixpoint operator with subsumption....Pages 35-48
Datalog with non-deterministic choice computes NDB-PTIME ....Pages 49-66
A deductive and object-oriented approach to a complex scheduling problem....Pages 67-80
On the logical foundations of schema integration and evolution in heterogeneous database systems....Pages 81-100
Explaining program execution in deductive systems....Pages 101-119
A logic for rule-based query optimization in graph-based data models....Pages 120-145
Specifying rule-based query optimizers in a reflective framework....Pages 146-168
Semantic query optimization in deductive object-oriented databases....Pages 169-182
Research in deductive and object-oriented databases....Pages 183-183
An implementation overview of the Aditi deductive database system....Pages 184-203
Negation and aggregates in recursive rules: the LDL ++ approach....Pages 204-221
IsaLog ¬ : A deductive language with negation for complex-object databases with hierarchies....Pages 222-235
On efficient reasoning with implication constraints....Pages 236-252
Bottom-up query evaluation with partially ordered defaults....Pages 253-266
An extension of path expressions to simplify navigation in object-oriented queries....Pages 267-282
Query classes....Pages 283-295
Database updating revisited....Pages 296-309
Super-key classes for updating materialized derived classes in object bases....Pages 310-326
Applications of deductive and object-oriented databases....Pages 327-327
Beyond data dictionaries: Towards a reflective architecture of intelligent database systems....Pages 328-339
A deductive and typed object-oriented language....Pages 340-359
Noodle: A language for declarative querying in an object-oriented database....Pages 360-378
Tracking causal dependencies in an active object-oriented database....Pages 379-394
Automatic class and method generation for object-oriented databases....Pages 395-414
Modeling multilevel entities using single level objects....Pages 415-428
A model using classes as a basic organization tool....Pages 429-443
Knowledge base revision using circumscription....Pages 444-458
Versioning of objects in deductive databases....Pages 459-472
A model for sets and multiple inheritance in deductive object-oriented systems....Pages 473-488
