vardi@ibmarc.uucp (Moshe Y. Vardi) (10/24/89)
*Advance Program*
*****************
The First International Conference on
Deductive and Object-Oriented Databases
DOOD89
December 4-6, 1989
Conference Hall, Science Center Building
Kyoto Research Park
Kyoto, Japan
--------------------------------------------------------------------
Sunday, December 3, 1989
Welcome Reception (6:00 pm - 8:00 pm)
Science Center Building Lobby, Kyoto Research Park
Monday, December 4, 1989
Opening Session (9:00 am - 10:45 am)
Keynote Address: Towards a New Step of Logic Paradigm
K.Fuchi (ICOT, Japan)
Software Engineering Research and ASTEM/RI Kyoto (tentative)
Y.Ohno (ASTEM/RI, Japan)
Session 1: A Status Update on Deductive
Databases (11:15 am - 12:30 am)
Chairperson: J.-M.Nicolas (ECRC, FRG)
Object Identity and Inheritance in Deductive Databases:
An Evolutional Approach (Invited Paper)
C.Zaniolo (MCC, USA)
Query Evaluation in Recursive Databases: Bottom-up and Top-down
Reconciled
F.Bry (ECRC, FRG)
Session 2: OODB Features (2:00 pm - 3:45 pm)
Chairperson: A.Makinouchi (Fujitsu Labs., Japan)
The Object-Oriented Database System Manifesto (Invited Paper)
F.Bancilhon (Altair, France) et al.
Meta Operations for Type Management in Object-Oriented Databases
L.Tan and T.Katayama (Tokyo Institute of Tech., Japan)
A Tool Kit System for the Synthesis and Management of Active
Medi a Objects
Y.Tanaka (Hokkaido U., Japan)
Session 3: Deductive Query Evaluation (I) (4:15 pm - 5:45 pm)
Chairperson: M.Kifer (SUNY, U.S.A.)
On Termination of Datalog Programs
A.Brodsky and Y.Sagiv (Hebrew U., Israel)
Level-Cycle Merging Method
J.Han (Simon Fraser U., Canada) and L.J.Henschen
(Northwestern U., USA)
Distribution of Selections: The Missing Link between Strategies
for Relational Databases and Deductive Databases
N.Miyazaki (Oki Electric Industry, Japan)
Tuesday, December 5, 1989
Session 4: OODB Theory (9:00 am - 10:30 am)
Chairperson: W.Kim (MCC, USA)
A Theory of Functional Dependencies for Object-Oriented
Data Models
G.E.Weddell (U. of Waterloo, Canada)
Object Identity, Equality and Relational Concept
Y.Masunaga (U. of Library and Information Science, Japan)
A Formal System for Producing Demons from Rules in an
Object-Oriented Databases
Y.Caseau (Bellcore, USA)
Session 5: Deductive Query Evaluation (II) (11:00 am - 12:30 am)
Chairperson: C. Beeri (Hebrew U., Israel)
Combining Deduction by certainty with the Power of Magic
H.Schmidt (MAD Intelligent Systems GmbH, FRG) et al.
On Deductive Query Evaluation in the DedGin System
A.Lefebvre and L.Vieille (ECRC, FRG)
Detecting and Eliminating Redundant Derivations
in Logic Knowledge Bases
A.R.Helm (IBM T.J.Watson Res. Center, USA)
Session 6: OODB Queries (2:00 pm -3:30 pm)
Chairperson: Y. Kambatashi (Kyushu U., Japan)
Object-Oriented Queries: Equivalence and Optimization
G.M.Shaw and S.Zdonik (Brown U., USA)
On Natural Joins in Object-Oriented Databases
K.Tanaka and T.-S.Chang (Kobe U., Japan)
Reloops, an Algebra Based Query Language for an Object-Oriented
Database System
S.Cluel, C.Delobel, C.Lecluse and P.Richard (Altair, France)
Panel Discussion: (4:00 pm - 6:00 pm)
Next Generation Database Management System:
Deductive, Object-Oriented, Both or Neither?
Chairperson: M.L.Brodie (GTE, USA)
Panelists: T.Andrews (Ontologic Inc., USA),
F.Bancilhon (Altair, France),
M.Kifer (SUNY,USA),
E.D.Sacerdoti (USA),
Y.Masunaga (ULIS, Japan)
K.Tanaka (Kobe U., Japan)
Banquet (6:30 pm - 8:30 pm) ATRIUM, Kyoto Research Park
Wednesday, December 6, l989
Session 7: Datalog Extension (9:00 am - 10:30 am)
Chairperson: H.Seki (Mitsubishi Electric Corp., Japan)
Integration of Functions Defined with Rewriting Rules in Datalog
S.Grumbach (INRIA, France)
Possible Model Semantics for Disjunctive Databases
(Preliminary Report)
C.Sakama (ASTEM/RI Kyoto, Japan)
The Well Founded Semantics for Disjunctive Logic Programs
K.A.Ross (Stanford U., USA)
Session 8: Integrating Objects and Rules (I) (11:00 am - 12:45 am)
Chairperson: S. Nishio (Osaka U., Japan)
Formal Models for Object Oriented Databases (Invited Paper)
C.Beeri (Hebrew U., Israel)
Foundations of a High-order Rule Language for Non-1NF Deductive
Databases
Q.Chen (Tsing-Hua U., China) and W.Chu (UCLA, USA)
Towards a Deductive Object-Oriented Database Language
S.Abiteboul (INRIA, France)
Session 9: Integrating Objects and Rules (II) (2:00 pm - 4:00 pm)
Chairperson: S. Abiteboul (INRIA, France)
Semantics and Evaluation of Rules over Complex Objects
A.Heuer (Tech. U. of Clausthal, FRG) and
P.Sander (U. of Karlsruhe, FRG)
Inference Rules in Object Oriented Programming Systems
L.Wong (National U. of Singapore, Singapore)
Software Process Modelling as a Strategy for KBMS Implementation
M.Jarke, M.Jeusfeld and T.Rose (U. of Passau, FRG)
Session 10: Query Transformation (4:20 pm - 5:50 pm)
Chairperson: S.Fushimi (Mitsubishi Electric Corp., Japan)
Query Optimization in Database Programming Languages
P.Valduriez and S.Danforth (MCC, USA)
Integrating Complex Objects and Recursion
H.Schoning (U. of Kaiserslautern, FRG)
OOLP: A Translation Approach to Object-Oriented Logic Programming
M.Dalal (Rutgers U., USA) and
D.Gangopadhyay (IBM T.J.Watson Res. Center, USA)
********************************************************************
Now Advance Program with Registration and Hotel Accommodation Form
is available. You can request one at
mayumi@astem.or.jp
Please write your full mailing address.
*******************************************************************
--
Good health is merely the slowest rate at which one can die.