Table Of ContentLecture Notes in Computer Science 1013
Edited by G. Goos, J. Hartmanis and J. van Leeuwen
Advisory Board: .W Brauer D. Gries J. Stoer
Tok Wang Ling Alberto .O Mendelzon
Laurent Vieille (Eds.)
Deductive and
Object-Oriented
Databases
Fourth International Conference, DOOD '95
,eropagniS December 4-7, 1995
sgnideecorP
regnirpS
Series Editors
Gerhard Goos, Karlsruhe University, Germany
Juris Hartmanis, Cornell University, NY, USA
Jan van Leeuwen, Utrecht University, The Netherlands
Volume Editors
Tok Wang Ling
Department of Information Systems and Computer Science
National University of Singapore
Lower Kent Ridge Road, Singapore 119260, Singapore
Alberto O. Mendelzon
Computer Systems Research Institute, University of Toronto
6 King's College Road, Toronto, Canada M5S IA1
Laurent Vieille
BULL, Rue Jean-Jaures - BP 68
F-78340 Les Clayes-sous-bois, France
Cataloging-in-Publication data applied for
Die Deutsche Bibliothek - CIP-Einheitsaufnahme
Deductive and object oriented databases (cid:12)9 fourth international
conference ; proceedings / DOOD '95, Singapore, December 4
- 7, 1995. Tok Wang Ling ... (ed.). - Berlin ; Heidelberg ; New
York ; Barcelona ; Budapest ; Hong Kong ; London ; Milan ;
Paris ; Tokyo (cid:12)9 Springer, 1995
(Lecture notes in computer science ; Vol. 1013)
ISBN 3-540-60608-4
NE: Ling, Tok-Wang Hrsg.; DOOD <4, 1995, Singapore>; GT
CR Subject Classification (1991): H.2, D.1.5-6, 1.2.4, J.1
ISBN 3-540-60608-4 Springer-Verlag Berlin Heidelberg New York
This work is subject to copyright. All rights are reserved, whether the whole or part of the material is
concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting,
reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication
or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965,
in its current version, and permission for use must always be obtained from Springer -Verlag. Violations are
liable for prosecution under the German Copyright Law.
(cid:14)9 Springer-Verlag Berlin Heidelberg 1995
Printed in Germany
Typesetting: Camera-ready by author
SPIN 10512237 06/3142 - 5 4 3 2 1 0 Printed on acid-free paper
Foreword
On behalf of the DOOD'95 Organizing Committee, I wish to extend a
very warm welcome to all the conference participants. We are very
excited to be holding this event in Singapore, and are pleased with the
continuing support the conference received from the international
community of researchers in deductive and object oriented databases,
and from the regional computer industry. Only with such support
would we be sure of both the technical excellence and financial
viability of DOOD.
We are particularly happy to see DOOD'95 held here just eight months
after another conference with a database theme, DASFAA, was held
here in April 1995. It reflects the prominence of database work in both
our research agenda and our teaching requirements.
I would like to express our gratitude to all the authors, referees,
programme committee members and organizing team members, who
contributed in their different ways to the conference. These have been
individually acknowledged in separate lists printed in the proceedings.
Finally, we wish the DOOD Steering Committee ever greater success
in bringing the conference in future years to other cities of the world
that share our interest in database research and development.
December 1995 Chung-Kwong Yuen
Preface
This volume is the Proceedings of the Fourth International Conference
on Deductive and Object-Oriented Databases (DOOD '95). It contains
two keynote papers and 28 technical papers selected for presentation at
DOOD '95. Altogether 88 papers were submitted from 29
countries/regions around the world. Each paper was reviewed by three
referees. Some papers were also reviewed by PC members during the
three region program committee meetings and the PC co-chair meeting
in order to resolve the discrepancies among the reviewers' reports of
these papers and to ensure fair decisions. 28 high quality technical
papers were selected during the PC co-chair meeting. This number is
slightly more than 30% of the submitted papers.
We are pleased to have two distinguished keynote speakers, Professor
Stefano Ceri from Italy and Professor Michael Kifer from USA.
Professor Ceri's paper concentrates on active rule analysis, design, and
prototyping as developed in the Esprit IDEA Project. Professor Kifer's
paper first reviews concepts of F-logic and Transaction Logic, and then
shows how the two can be combined in a natural way to yield a unified
foundation for deductive object-oriented languages. The 28 selected
technical papers are grouped into 9 sessions which consist of papers in
the areas of active databases, query processing, semantic query
optimization, transaction management, authorization, views,
applications, and implementation of DOOD systems.
We would like to thank all those who have contributed to the success of
the conference. In particular, we express our appreciation to the two
keynote speakers, the two tutorial speakers, all authors who have
submitted papers for consideration, the members of the Program
Committee, and the external referees.
December 1995 Tok Wang Ling
Alberto O. Mendelzon
Laurent Vieille
(Program Co-Chairs)
Fourth International Conference on
Deductive and Object-Oriented Databases
(DOOD '95)
December 4-7, 1995, Singapore
desinagrO :yb
Department of Information Systems & Computer Science (NUS)
With support from:
ASTEM RI/Kyoto (Japan)
Sponsors:
Bull SA (France)
CSA Automated Pte Ltd
Digital Multivendor Customer Services,
Digital Equipment Singapore Pte Ltd
Lee Foundation (Singapore)
Sun Microsystems Pte Ltd
In-cooperation with:
Korean Information Science Society
Kyoto/Japan ACM SIGMOD
IEICE SIGDE (Japan)
IEEE Singapore (Computer Chapter)
Singapore Computer Society
Institute of Systems Science (NUS)
Singapore Federation of Computer Industry
Official Publication:
IT-Asia
Sponsoring Publication:
Software Asia
VIII
CONFERENCE COMMITTEES
Steering Committee Chair, Emeritus: Jack MINKER
Steering Committee Chair: Jean-Marie NICOLAS
Conference Chair: Chung Kwong YUEN
ORGANIZING COMMITTEE
Angelas Eck Soong GOH, Nanyang Technological University, Singapore
Mong Li LEE, National University of Singapore (NUS), Singapore
Tok Wang LING, NUS, Singapore
Hongjun LU (Registration), NUS, Singapore
Desai NARASIMHALU, Institute of Systems Science (ISS), Singapore
Beng Chin OOI (Exhibition), NUS, Singapore
Yong Meng TEO (Publicity/Publication), NUS, Singapore
Kwok Kee WEI (Local Arrangement), NUS, Singapore
Lim Soon WONG, ISS, Singapore
Weng Fai WONG (Treasurer), NUS, Singapore
Chung Kwong YUEN (Chair), NUS, Singapore
PROGRAM CHAIRS
Americas: Alberto O. MENDELZON, University of Toronto, Canada
Europe: Laurent VIEILLE, BULL, France
Far East: Tok Wang LING, NUS, Singapore
PANEL CHAIR
Kotagiri RAMAMOHANARAO, The University of Melbourne, Australia
TUTORIAL CHAIR
Desai NARASIMHALU, ISS, Singapore
COORDINATORS
Americas: Kay Liang ONG, MCC, USA
Europe: Stefano CERI, Politechico di Milano, Italy
Far East: Katsumi TANAKA, Kobe Univ, Japan
CONFERENCE SECRETARY
Ms Sew Kiok TOH, NUS, Singapore
STEERING COMMITTEE
Jean-Marie NICOLAS (Chair), BULL, France
Jack MINKER (Emeritus Chair), U of Maryland, USA
Stefano CERI, Politechico di Milano, Italy
Claude DELOBEL, Univ Paris-Sud, France
Oris FRIESEN, BULL, USA
Michael KIFER, SUNY, USA
Tok Wang LING, NUS, Singapore
Rainer MANTHEY, Univ of Bonn, Germany
Yoshifumi MASUNAGA, U of Library & Info Sci, napaJ
Shojiro NISHIO, Osaka Univ, Japan
Stott PARKER, UCLA, USA
Shalom TSUR, UT, Austin, USA
X1
PROGRAM COMMITTEE
Americas
Edward CHAN, University of Waterloo, Canada
Jiawei HAN, Simon Fraser University, Canada
Rosana LANZELOTTE, Catholic Univ of Rio de Janeiro, Brazil
Tova MILO, Tel-Aviv University, Israel
Jeff NAUGHTON, University of Wisconsin, USA
Ken ROSS, Columbia University, USA
.S SUDARSHAN, AT&T Bell Laboratories, USA
Shalom TSUR, Argonne National Laboratory, USA
Victor VIANU, University of California at naS Diego, USA
Stan ZDONIK, Brown University, USA
eporuE
Peter APERS, University of Twente, Netherlands
Paolo ATZENI, Universita' La Sapienza, Italy
Francois BRY, Ludwig-Maximilians-Univ Muenchen, Germany
Jan van den BUSSCHE, University of Antwerp, Belgium
Piero FRATERNALI, Politecnico di Milano, Italy
Alexandre LEFEBVRE, Bull, France
Rainer MANTHEY, University of Bonn, Germany
Antoni OLIVE, Universitat Politecnica de Catalunya, Spain
Norman PATON, Heriot-Watt University, UK
Patrick VALDURIEZ, INRIA, France
raF East
Chin-Chen CHANG, National Chung Cheng Univ, Taiwan
Myung-Joon KIM, ETRI, Korea
Kotagiri RAMAMOHANARAO, Univ of Melbourne, Australia
Rodney TOPOR, Griffith University, Australia
Ke WANG, NUS, Singapore
Kyu-Young WHANG, KAIST, Korea
Lira Soon WONG, ISS, Singapore
Beat WUTHRICH, Univ of Sci and Technology, Hong Kong
Kazumasa YOKOTA, ICOT, Japan
Masatoshi YOSHIKAWA, Nara Inst of Sci & Technology, Japan
External Referees
Marc Andries Young-Kyun Kim
Herman Balsters Guenter Kniesel
Catriel Beeri Michael Lawley
Bjorn Bergsten Mi-Young Lee
Henk Blanken Sang Ho Lee
Rolf A. de By Thomas Lemke
Luca Cabibbo Qing Li
Marco Cadoli Sergio Lifschitz
Fabrizio d'Amore Francois LLirbat
Andrew Dinn Antonio Massari
Guozhu Dong Giansalvatore Mecca
Francesco M. Donini Nobuyoshi Miyazaki
Pamela Drew Misa Namiuchi
Eric Dujardin Eitetsu Oomoto
DooHun Eum Stefano Paraboschi
Alvaro A.A. Fernandes Giuseppe Pozzi
Jose Alberto Fernandez R. Giuseppe Psaila
Daniela Florescu Giuseppe Santucci
Jean-Robert Gruser Andrea Schaerf
Giovanna Guerrini Eric Simon
James Harland Kirack Sohn
Chris Higgins Zoltan Somogyi
Teruhisa Hochin Peter Stuckey
Ki-Hyung Hong Sam Yuan Sung
Sungtag Jun Letizia Tanca
Kamalakar Karlapalem Anthony Tomasic
David Kemp Dimitri Tombroff
Maurice van Keulen Toni Urpi
Hyoung-Joo Kim Annita N Wilschut
June Kim Osmar R. Zaiane
Kyung Chang Kim Mikal Ziane
Table of Contents
Keynote 1
Design of Active Rule Applications: Issues and Approaches
S. Ceri, E. Baralis, P. Fraternali, S. Paraboschi
Active Databases
Composite Temporal Events in Active Database Rules:
A Logic-Oriented Approach
L Motakis, C. Zaniolo 19
Run-time Detection of Non-Terminating Active Rule Systems
E. Baralis, S. Ceri, S. Paraboschi 38
Active Database Rules with Transaction-Conscious Stable-Model
Semantics
C. Zaniolo 55
Query Processing I
Efficiently Following Object References for Large Object
Collections and Small Main Memory
K.A. Ross 73
ELS-Programs and the Efficient Evaluation of Non-Stratified
Programs by Transformation to SLE
D.B. Kemp, K. Ramamohanarao, P.J. Stuckey 9I
Practical Behavior of Parallelization Strategies for Datalog
S. Lifschitz, R.N. Melt, E. Pacitti 109
