5. DOOD 1997: Montreux, Switzerland

François Bry, Raghu Ramakrishnan, Kotagiri Ramamohanarao (Eds.): Deductive and Object-Oriented Databases, 5th International Conference, DOOD'97, Montreux, Switzerland, December 8-12, 1997, Proceedings. Lecture Notes in Computer Science 1341 Springer 1997, ISBN 3-540-63792-3

Invited Talks

Hans Jürgen Ohlbach:
Efficient Data Structures for Deduction Systems. 1-2
Peter A. Flach:
Inductive Logic Databases: From Extensional to Intensional Knowledge. 3
Stefano Ceri, Piero Fraternali, Stefano Paraboschi, Giuseppe Psaila:
Sharing Software Tools on the WEB: The IDEA Web Lab. 4-19

Gottfried Vossen:
Transactional Workflows. 20-25
Chitta Baral, Jorge Lobo:
From Action Theories to Updates, Transactions, Triggers and Agents - A Tutorial. 26-32
Surajit Chaudhuri, Umeshwar Dayal:
Data Warehousing and OLAP for Decision Support. 33-34

Guozhu Dong, Kotagiri Ramamohanarao:
Maintaining Constrained Transitive Closure by Conjunctive Queries. 35-51
Dieter Gluche, Torsten Grust, Christof Mainberger, Marc H. Scholl:
Incremental Updates for Materialized OQL Views. 52-66
Hua Shu:
View Maintenance Using Conditional Tables. 67-84

Alexander Borgida, Grant E. Weddell:
Adding Uniqueness Constraints to Description Logics (Preliminary Report). 85-102
David Toman:
Point-Based Temporal Extension of Temporal SQL. 103-121
Inderpal Singh Mumick, Kenneth A. Ross:
Attribute-Oriented View Definitions in Relational and Deductive Databases. 122-139

Malika Mahoui-Guerni:
Exploiting Semantics of Typed Objects under an Optimistic Control in the Transactional Deferred Update Model: A Promising Approach. 140-157
Dimitri Theodoratos:
Logical Updating of Object Class Structures. 158-174
Dolors Costal, Ernest Teniente, Toni Urpí:
An Approach to Obtain Intensional Translation for Consistent View Updating. 175-192

Elisa Bertino, Giovanna Guerrini, Isabella Merlo:
Trigger Inheritance and Overriding in Active Object Database Systems. 193-210
Amy Sundermier, Taoufik Ben Abdellatif, Suzanne W. Dietrich, Susan Darling Urban:
Object Deltas in an Active Database Development Environment. 211-228
Sven-Eric Lautemann, Patricia Eigner, Christian Wöhrle:
The COAST Project: Design and Implementation. 229-246

Chitta Baral, Jorge Lobo, Goce Trajcevski:
Formal Characterizations of Active Databases: Part II. 247-264
Carlo Zaniolo:
The Nonmonotonic Semantics of Active Rules in Deductive Databases. 265-282
Fosca Giannotti, Giuseppe Manco, Mirco Nanni, Dino Pedreschi:
Datalog++: A Basis for Active Object-Oriented Databases. 283-301

Tomas Hruska, Petr Kolencik:
Comparison of Categorical Foundations of Object-Oriented Database Model. 302-319
Wolfgang May, Bertram Ludäscher, Georg Lausen:
Well-Founded Semantics for Deductive Object-Oriented Database Languages. 320-336
Sergio Greco, Domenico Saccà:
Deterministic Semantics for Datalog¬: Complexity and Expressive Power. 337-350

Frank Neven, Jan Van den Bussche:
On Implementing Structured Document Query Facilities on Top of a DOOD. 351-367
K. Jim, Jeffrey Lai, Beat Wüthrich:
A Data Mining Algorithm Optimal for Single Rules. 368-385
Rainer Himmeröder, Georg Lausen, Bertram Ludäscher, Christian Schlepphorst:
On a Declarative Semantics for Web Queries. 386-398
Karl Aberer, Dunren Che, Klemens Böhm:
Rule-Based Generation of Logical Query Plans with Controlled Complexity. 399-416

Mohand-Said Hacid, Patrick Marcel, Christophe Rigotti:
A Rule-Based Data Manipulation Language for OLAP Systems. 417-418
Detlef Zimmer, Axel Meckenstock, Rainer Unland:
A General Model for Event Specification in Active Database Management Systems. 419-420
Leonidas Fegaras:
Optimizing Large OODB Queries. 421-422
Ekawit Nantajeewarawat, Vilas Wuwongse:
Nonmonotonic Inheritance Through Specialisation. 423-424
Parke Godfrey, Jarek Gryz:
Overview of Dynamic Query Evaluationin Intensional Query Optimization. 425-426
Paul-Thomas Kandzia:
Towards Efficient Evaluation of Methods by Reduction. 427-428