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 BibTeX

A Status Update on Deductive Databases

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

Deductive Query Evaluation

Alexander Brodsky, Yehoshua Sagiv: On Termination of Datalog Programs. 47-64 BibTeX
Jiawei Han, Lawrence J. Henschen: The Level-Cycle Merging Method. 65-81 BibTeX
Nobuyoshi Miyazaki: Distribution of Selections: The Missing Link between Strategies for Relational Databases and Deductive Databases. 83-102 BibTeX
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 BibTeX
Alexandre Lefebvre, Laurent Vieille: On Deductive Query Evaluation in the DedGin* System. 123-144 BibTeX
A. Richard Helm: Detecting and Eliminating Redundant derivations in Logic Knowledge Bases. 145-161 BibTeX

OODB Theory

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

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 BibTeX , reprinted in the O2 Book: 3-20
Lichao Tan, Takuya Katayama: Meta Operations for Type Management in Object-Oriented Databases. 241-258 BibTeX ,
Yuzuru Tanaka: A Tool Kit System for the Synthesis and the Management of Active Media Objects. 259-277 BibTeX

OODB Queries

Gail M. Shaw, Stanley B. Zdonik: Object-Oriented Queries: Equivalence and Optimization. 281-295 BibTeX
Katsumi Tanaka, Tae-Soo Chang: On Natural Joins in Object-Oriented Databases. 297-311 BibTeX
Sophie Cluet, Claude Delobel, Christophe Lécluse, Philippe Richard: Reloop, an Algebra Based Query Language for an Object-Oriented Database System. 313-332 BibTeX , 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 BibTeX

Datalog Extensions

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

Integrating Objects and Rules

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

Query Transformation

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