1. DOOD 1989: Kyoto, Japan

Won Kim, Jean-Marie Nicolas, Shojiro Nishio (Eds.): Deductive and Object-Oriented Databases, Proceedings of the First International Conference on Deductive and Object-Oriented Databases (DOOD'89), Kyoto research Park, Kyoto, Japan, 4-6 December, 1989. North-Holland/Elsevier Science Publishers 1990, ISBN 0-444-88433-5

Keynote Address

Kazuhiro Fuchi: Towards a new Step of Logic Paradigm. 3

A Status Update on Deductive Databases

Carlo Zaniolo: Object Identity and Inheritance in Deductive Databases - an Evolutionary Approach. 7-21
François Bry: Query Evaluation in Recursive Databases: Bottom-up and Top-down Reconciled. 25-44

Deductive Query Evaluation

Alexander Brodsky, Yehoshua Sagiv: On Termination of Datalog Programs. 47-64
Jiawei Han, Lawrence J. Henschen: The Level-Cycle Merging Method. 65-81
Nobuyoshi Miyazaki: Distribution of Selections: The Missing Link between Strategies for Relational Databases and Deductive Databases. 83-102
Helmut Schmidt, Nikolaus Steger, Ulrich Güntzer, Werner Kießling, Rüdiger Azone, Rudolf Bayer: Combining Deduction by Certainty with the Power of Magic. 103-122
Alexandre Lefebvre, Laurent Vieille: On Deductive Query Evaluation in the DedGin* System. 123-144
A. Richard Helm: Detecting and Eliminating Redundant derivations in Logic Knowledge Bases. 145-161

OODB Theory

Grant E. Weddell: A Theory of Functional Dependencies for Object-Oriented Data Models. 165-184
Yoshifumi Masunaga: Object Identity, Equality and Relational Concept. 185-202
Yves Caseau: A Formal System for Producing Demons from Rules in an Object-Oriented Database. 203-219

OODB Features

Malcolm P. Atkinson, François Bancilhon, David J. DeWitt, Klaus R. Dittrich, David Maier, Stanley B. Zdonik: The Object-Oriented Database System Manifesto. 223-240 , reprinted in the O2 Book: 3-20
Lichao Tan, Takuya Katayama: Meta Operations for Type Management in Object-Oriented Databases. 241-258 ,
Yuzuru Tanaka: A Tool Kit System for the Synthesis and the Management of Active Media Objects. 259-277

OODB Queries

Gail M. Shaw, Stanley B. Zdonik: Object-Oriented Queries: Equivalence and Optimization. 281-295
Katsumi Tanaka, Tae-Soo Chang: On Natural Joins in Object-Oriented Databases. 297-311
Sophie Cluet, Claude Delobel, Christophe Lécluse, Philippe Richard: Reloop, an Algebra Based Query Language for an Object-Oriented Database System. 313-332 , reprinted in the O2 Book: 256-277

Panel Discusion

Michael L. Brodie, François Bancilhon, Craig Harris, Michael Kifer, Yoshifumi Masunaga, Earl D. Saberdoti, Katsumi Tanaka: Next Generation Database Management Systems Technology (Panel). 335-346

Datalog Extensions

Stéphane Grumbach: Integration of Functions Defined with Rewriting Rules in Datalog. 349-368
Chiaki Sakama: Possible Model Semantics for Disjunctive Databases. 369-383
Kenneth A. Ross: The Well Founded Semantics for Disjunctive Logic Programs. 385-402

Integrating Objects and Rules

Catriel Beeri: Formal Models for Object Oriented Databases. 405-430
Qiming Chen, Wesley W. Chu: HILOG: A High-Order Logic Programming Language for Non-1NF Deductive Databases. 431-452
Serge Abiteboul: Towards a Deductive Object-Oriented Database Language. 453-472
Andreas Heuer, Peter Sander: Semantics and Evaluation of Rules over Complex Objects. 473-492
Limsoon Wong: Inference Rules in Object Oriented Programminh Systems. 493-509
David Maier, Jianhua Zhu, Hitomi Ohkawa: Features of the TEDM Object Model. 511-530
Matthias Jarke, Manfred A. Jeusfeld, Thomas Rose: Software Process Modeling as a Strategy for KBMS Implementation. 531-550

Query Transformation

Patrick Valduriez, Scott Danforth: Query Optimization for Database Programming Languages. 553-571
Harald Schöning: Integrating Complex Objects and Recursion. 573-592
Mukesh Dalal, Dipayan Gangopadhyay: OOLP: A Translation Approach to Object-Oriented Logic Programming. 593-606