3. DOOD 1993: Phoenix, Arizona, USA

Deductive databases and object-oriented databases are at the forefront of research in the next generation intelligent database systems. Recently research has focused on integrating the object-oriented paradigm and rule-based deduction to provide a single powerful framework for intelligent database systems. The primary objective of DOOD'93 is to provide a common forum of technical discussions between researchers/developers of deductive databases and object-oriented databases, thereby accelerating the integration of the technical outputs of these two areas. This continues the direction established by the two very successful DOOD conferences held in 1989 in Kyoto, Japan, and in 1991 in Munich, Germany.

Object-Oriented Database Technology

• David Maier, Judith Bayard Cushing:
  Treating Programs as Objects: The Computational Proxy Experience. 1-12
  

Language Semantics I

• Allen Van Gelder:
  Foundations of Aggregation in Deductive Databases. 13-34
  
• Gerhard Köstler, Werner Kießling, Helmut Thöne, Ulrich Güntzer:
  The Differential Fixpoint Operator with Subsumption. 35-48
  
• Luca Corciulo, Fosca Giannotti, Dino Pedreschi:
  Datalog with Non-Deterministic Choice Computes NDB-PTIME. 49-66
  

Applications and Usage of Logic

• Yves Caseau, Pierre-Yves Guillo, Eric Levenez:
  A Deductive and Object-Oriented Approach to a Complex Scheduling Problem. 67-80
  
• Laks V. S. Lakshmanan, Fereidoon Sadri, Iyer N. Subramanian:
  On the Logical Foundations of Schema Integration and Evolution in Heterogeneous Database Systems. 81-100
  
• Tarun Arora, Raghu Ramakrishnan, William G. Roth, Praveen Seshadri, Divesh Srivastava:
  Explaining Program Execution in Deductive Systems. 101-119
  

Query Optimization

• Neil Coburn, Grant E. Weddell:
  A Logic for Rule-Based Query Optimization in Graph-Based Data Models. 120-145
  
• Leonidas Fegaras, David Maier, Tim Sheard:
  Specifying Rule-Based Query Optimizers in a Reflective Framework. 146-168
  
• Jong P. Yoon, Larry Kerschberg:
  Semantic Query Optimization in Deductive Object-Oriented Databases. 169-182
  

Deductive Logic Database Technology

• Kotagiri Ramamohanarao:
  An Implementation Overview of the Aditi Deductive Database System. 184-203
  

Language Semantics II

• Carlo Zaniolo, Natraj Arni, KayLiang Ong:
  Negation and Aggregates in Recursive Rules: the LDL++ Approach. 204-221
  
• Paolo Atzeni, Luca Cabibbo, Giansalvatore Mecca:
  ISALOG- : A Deductive Language with Negation for Complex-Object Databases with Hierarchies. 222-235
  
• Xubo Zhang, Z. Meral Özsoyoglu:
  On Efficient Reasoning with Implication Constraints. 236-252
  

Query Processing

• Stefan Brass, Udo W. Lipeck:
  Bottom-Up Query Evaluation with Partially Ordered Defaults. 253-266
  
• Jan Van den Bussche, Gottfried Vossen:
  An Extension of Path Expressions to Simplify Navigation in Object-Oriented Queries. 267-282
  
• Martin Staudt, Matthias Jarke, Manfred A. Jeusfeld, Hans W. Nissen:
  Query Classes. 283-295
  

Updates

• Dominique Laurent, Viet Phan Luong, Nicolas Spyratos:
  Database Updating Revisited. 296-309
  
• Shin'ichi Konomi, Tetsuya Furukawa, Yahiko Kambayashi:
  Super-Key Classes for Updating Materialized Derived Classes in Object Bases. 310-326
  

Deductive and Object-Oriented Database Technology

• Rainer Manthey:
  Beyond Data Dictionaries: Towards a Reflective Architecture of Intelligent Database Systems. 328-339
  

Extensional to Object-Orientation

• René Bal, Herman Balsters:
  A Deductive and Typed Object-Oriented Language. 340-359
  
• Inderpal Singh Mumick, Kenneth A. Ross:
  Noodle: A Language for Declarative Querying in an Object-Oriented Database. 360-378
  
• David Mattox, Kenneth Smith, Stephen C. Y. Lu:
  Tracking Causal Dependencies in an Active Object-Oriented Database. 379-394
  

Object-Oriented Concepts

• Ramez Elmasri, Suresh James, Vram Kouramajian:
  Automatic Class and Method Generation for Object-Oriented Databases. 395-414
  
• Elisa Bertino, Sushil Jajodia:
  Modeling Multilevel Entities Using Single Level Objects. 415-428
  
• Thong wei Koh, Beng Chin Ooi, Yin Seong Ho:
  A Model Using Classes as Basic Organization Tool. 429-443
  

Data and Knowledge Modelling Concepts

• Li-Yan Yuan, Jia-Huai You:
  Knowledge Base Revision Using Circumscription. 444-458
  
• F. Nihan Kesim, Marek J. Sergot:
  Versioning of Objects in Deductive Databases. 459-472
  
• Gillian Dobbie, Rodney W. Topor:
  A Model for Sets and Multiple Inheritance in Deductive Object-Oriented Systems. 473-488