Database Theory — ICDT’99: 7th International Conference Jerusalem, Israel, January 10–12, 1999 Proceedings

502 Pages·1999·6.07 MB·English

by  Malcolm Atkinson

Lecture Notes in Computer Science 1540
Editedby G.Goos,J. Hartmanisand J.van Leeuwen
3
Berlin
Heidelberg
NewYork
Barcelona
HongKong
London
Milan
Paris
Singapore
Tokyo
Catriel Beeri Peter Buneman (Eds.)
Database Theory –
ICDT’99
7th International Conference
Jerusalem, Israel, January 10-12, 1999
Proceedings
1 3
SeriesEditors
GerhardGoos,KarlsruheUniversity,Germany
JurisHartmanis,CornellUniversity,NY,USA
JanvanLeeuwen,UtrechtUniversity,TheNetherlands
VolumeEditors
CatrielBeeri
TheHebrewUniversity,InstituteofComputerScience
Givat-Ram,Jerusalem91940,Israel
E-mail:[email protected]
PeterBuneman
UniversityofPennsylvania
DepartmentofComputerandInformationScience
Philadelphia,PA19104-6389,USA
E-mail:[email protected]
Cataloging-in-Publicationdataappliedfor
DieDeutscheBibliothek-CIP-Einheitsaufnahme
Databasetheory:7thinternationalconference;proceedings/ICDT
’99,Jerusalem,Israel,January10-12,1999.CatrielBeeri;Peter
Buneman(ed.).-Berlin;Heidelberg;NewYork;Barcelona;Hong
Kong;London;Milan;Paris;Singapore;Tokyo:Springer,1998
(Lecturenotesincomputerscience;Vol.1540)
ISBN3-540-65452-6
CRSubjectClassification(1998):H.2,F.1.3,F.4.1,I.2.1,H.4
ISSN0302-9743
ISBN3-540-65452-6Springer-VerlagBerlinHeidelbergNewYork
Thisworkissubjecttocopyright.Allrightsarereserved,whetherthewholeorpartofthematerialis
concerned,specificallytherightsoftranslation,reprinting,re-useofillustrations,recitation,broadcasting,
reproductiononmicrofilmsorinanyotherway,andstorageindatabanks.Duplicationofthispublication
orpartsthereofispermittedonlyundertheprovisionsoftheGermanCopyrightLawofSeptember9,1965,
initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer-Verlag.Violationsare
liableforprosecutionundertheGermanCopyrightLaw.
(cid:1)c Springer-VerlagBerlinHeidelberg1999
PrintedinGermany
Typesetting:Camera-readybyauthor
SPIN:10693017 06/3142–543210 Printedonacid-freepaper
Foreword
Databaseresearchisafieldofcomputersciencewheretheorymeetsapplications.
Manyconcepts andmethods,thatwereregardedasissues oftheoreticalinterest
when initially proposed, are now included in implemented database systems
and related products. Examples abound in the fields of database design, query
languages, query optimization, concurrency control, statistical databases, and
many others.
The paperscontainedinthis volumewerepresentedatICDT’99,the 7thIn-
ternationalConferenceonDatabaseTheory,inJerusalem,Israel,January10–12,
1999. ICDT is an international forum for researchon the principles of database
systems. It is a biennial conference, and has a tradition of being held in beauti-
ful Europeansites: Rome in 1986,Bruges in 1988,Parisin 1990,Berlin in 1992,
Prague in 1995, and Delphi in 1997. From 1992, ICDT has been merged with
another series of conferences on theoretical aspects of database systems, The
Symposium on Mathematical Fundamentals of Database Systems (MFDBS),
that was initiated in Dresden (1987), and continued in Visegrad (1989) and
Rostock (1991). ICDT aims to enhance the exchange of ideas and cooperation
in database research both within unified Europe, and between Europe and the
other continents.
ICDT’99 was organized in cooperation with:
ACM Special Interest Group on Management of Data (Sigmod)
IEEE Israel Chapter
ILA — The Israel Association for Information Processing
EDBT Foundation
ICDT’99 was sponsored by:
The Hebrew University of Jerusalem
Tel Aviv University
Tandem Labs Israel, a Compaq Company
This volume contains 26 technical papers selected from 89 submissions. In
addition to the technical papers, the conference featured two invited presen-
tations: Issues Raised by Three Years of Developing PJama: An Orthogonally
Persistent Platform for JavaTM by Malcolm Atkinson and Mick Jordan, and
Novel Computational Approaches to Information Retrieval and Data Mining by
ChristosH. Papadimitriou.The conferencealso featuredastate-of-the-arttuto-
rial on Description Logics and Their Relationships with Databases by Maurizio
Lenzerini.
VI Foreword
The conference organization committee consisted of Catriel Beeri and Tova
Milo. Administrative support was provided by Dan Knassim, Ltd, of Ramat-
Gan, Israel.
We wish to thank all the authors who submitted papers for consideration,
the program committee members, and the external reviewers for their efforts
andfortheircareinevaluatingthesubmittedpapers.Wealsowishtothankthe
organizingcommitteeandthestaffofDanKnassimfortheireffortswiththelocal
organizationofthe conferenceandHartmutLiefke forhis helpin organizingthe
submissionsandreviews.Last,butnotleast,wewishtoexpressourappreciation
and gratitude to the sponsoring organizations for their assistance and support.
CatrielBeeriandPeterBuneman
Jerusalem, January 1999
ProgramCo-Chairs
Foreword VII
The members of the program committee were:
Gustavo Alonso (Switzerland)Catriel Beeri (Israel) co-chair
Anthony Bonner (Canada) Peter Buneman (USA) co-chair
Marco Cadoli (Italy) Sophie Cluet (France)
Guozhu Dong (Australia) Ronald Fagin (USA)
Erich Gra¨del (Germany) Gosta Grahne (Canada)
Marc Gyssens (Belgium) Yannis Ioannidis (Greece & USA)
Alon Levy (USA) Alberto Mendelzon (Canada)
Guido Mo¨rkotte (Germany) Shelly Qian (USA)
Kenneth Ross (USA) Timos Sellis (Greece)
Eric Simon (France) Dan Suciu (USA)
S. Sudarshan (India) Michael Taitslin (Russia)
External reviews were provided by:
Roberto Baldoni Michael Benedikt Alex Borgida
Diego Calvanese Giuseppe De GiacomoStijn Dekeyser
Alin Deutsch Francoise Fabret Wenfei Fan
Daniela Florescu Minos N. Garofalakis Floris Geerts
Marc Gemis Bart Goethals Israel Gold
Sergio Greco Vassos Hadzilacos Colin Hirsch
Gerti Kappel Bettina Kemme David Kemp
Phokion Kolaitis Bart Kuijpers Laks V.S. Lakshmanan
Maurizio Lenzerini Paolo Liberatore Leonid Libkin
Paolo Merialdo Tova Milo Frank Neven
Otto Nurmi Kenneth Oksanen Luigi Palopoli
Guy Pardon Jan Paredaens Francesco Quaglia
Krithi Ramamritham Sridhar Ramaswamy Francesco Scarcello
Luc Segoufin Kenneth C. Sevcik Seppo Sippu
Eljas Soisalon-SoininenVal Tannen Yannis Theodoridis
David Toman Alejandro Vaisman Jan Van den Bussche
Luc Vandeurzen Panos Vassiliadis Helmut Veith
Roger Weber Limsoon Wong
Table of Contents
Invited Talks
Issues Raised by Three Years of Developing PJama:
An Orthogonally Persistent Platform for JavaTM ................................1
Malcolm Atkinson, Mick Jordan
Novel Computational Approaches to Information Retrieval and
Data Mining ...............................................................31
Christos H. Papadimitriou
Tutorial
Description Logics and Their Relationships with Databases.................32
Maurizio Lenzerini
Query Languages
An Equational Chase for Path-Conjunctive Queries, Constraints,
and Views..................................................................39
Lucian Popa, Val Tannen
Adding For-Loops to First-Order Logic.....................................58
Frank Neven, Martin Otto, Jurek Tyszkiewicz, Jan Van den Bussche
Logic
Definability and Descriptive Complexity on Databases of Bounded
Tree-Width.................................................................70
Martin Grohe, Julian Marin˜o
Decidability of First-Order Logic Queries over Views........................83
James Bailey, Guozhu Dong
Performance I
Urn Models and Yao’s Formula............................................100
Dani`ele Gardy, Laurent N´emirovski
On the Generation of 2-Dimensional Index Workloads.....................113
Joseph M. Hellerstein, Lisa Hellerstein, George Kollios
Increasing the Expressiveness of Analytical Performance Models
for Replicated Databases..................................................131
Matthias Nicola, Matthias Jarke
X Table of Contents
Concurrency and Distribution
Transactions in Stack, Fork, and Join Composite Systems..................150
Gustavo Alonso, Armin Feßler, Guy Pardon, Hans-J¨org Schek
Databases for Tracking Mobile Units in Real Time.........................169
Ouri Wolfson, Liqin Jiang, A. Prasad Sistla, Sam Chamberlain,
Naphtali Rishe, Minglin Deng
Constraint Databases
On Capturing First-Order Topological Properties of Planar Spatial
Databases.................................................................187
Bart Kuijpers, Jan Van den Bussche
On the Orthographic Dimension of Constraint Databases..................199
St´ephane Grumbach, Philippe Rigaux, Luc Segoufin
Index Structures
When Is “Nearest Neighbor” Meaningful?.................................217
Kevin Beyer, Jonathan Goldstein, Raghu Ramakrishnan, Uri Shaft
On Rectangular Partitionings in Two Dimensions: Algorithms,
Complexity, and Applications .............................................236
S. Muthukrishnan, Viswanath Poosala, Torsten Suel
Optimal Dynamic Range Searching in Non-replicating Index Structures....257
K. V. Ravi Kanth, Ambuj Singh
Index Structures for Path Expressions.....................................277
Tova Milo, Dan Suciu
Semi-structured Data
Schemas for Integration and Translation of Structured and
Semi-structured Data......................................................296
Catriel Beeri, Tova Milo
In Search of the Lost Schema..............................................314
St´ephane Grumbach, Giansalvatore Mecca
Mediation
Tableau Techniques for Querying Information Sources through Global
Schemas...................................................................332
Go¨sta Grahne, Alberto O. Mendelzon
Optimizing Large Join Queries in Mediation Systems......................348
Ramana Yerneni, Chen Li, Jeffrey Ullman, Hector Garcia-Molina
Table of Contents XI
Computational Issues
Incremental FO(+,<) Maintenance of All-Pairs Shortest Paths for
Undirected Graphs after Insertions and Deletions..........................365
Chaoyi Pang, Ramamohanarao Kotagiri, Guozhu Dong
A Framework for the Investigation of Aggregate Functions in Database
Queries....................................................................383
Luca Cabibbo, Riccardo Torlone
Discovering Frequent Closed Itemsets for Association Rules................398
Nicolas Pasquier, Yves Bastide, Rafik Taouil, Lotfi Lakhal
Views
View Disassembly.........................................................417
Parke Godfrey, Jarek Gryz
Answering Queries Using Materialized Views with Disjunctions............435
Foto N. Afrati, Manolis Gergatsoulis, Theodoros Kavalieros
Selection of Views to Materialize Under a Maintenance Cost Constraint....453
Himanshu Gupta, Inderpal Singh Mumick
The Data Warehouse of Newsgroups.......................................471
Himanshu Gupta, Divesh Srivastava
Author Index.........................................................489