Lecture Notes in Computer Science 4797

Transcription

1 Lecture Notes in Computer Science 4797 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University, UK Takeo Kanade Carnegie Mellon University, Pittsburgh, PA, USA Josef Kittler University of Surrey, Guildford, UK Jon M. Kleinberg Cornell University, Ithaca, NY, USA Friedemann Mattern ETH Zurich, Switzerland John C. Mitchell Stanford University, CA, USA Moni Naor Weizmann Institute of Science, Rehovot, Israel Oscar Nierstrasz University of Bern, Switzerland C. Pandu Rangan Indian Institute of Technology, Madras, India Bernhard Steffen University of Dortmund, Germany Madhu Sudan Massachusetts Institute of Technology, MA, USA Demetri Terzopoulos University of California, Los Angeles, CA, USA Doug Tygar University of California, Berkeley, CA, USA Moshe Y. Vardi Rice University, Houston, TX, USA Gerhard Weikum Max-Planck Institute of Computer Science, Saarbruecken, Germany

2 (Eds.) Database Programming Languages 11th International Symposium, DBPL 2007 Vienna, Austria, September 23-24, 2007 Revised Selected Papers 13

3 Volume Editors Pontificia Universidad Católica de Chile Departamento de Ciencia de la Computacion Vicuna Mackenna 4860, Edificio San Agustin, Macul, Santiago, Chile University of Aarhus, Department of Computer Science Aabogade 34, 8200 Aarhus N, Denmark Library of Congress Control Number: Applied for CR Subject Classification (1998): H.2, H.3, E.2, D.3.3, H.4 LNCS Sublibrary: SL 3 Information Systems and Application, incl. Internet/Web and HCI ISSN ISBN Springer Berlin Heidelberg New York ISBN Springer 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. Violations are liable to prosecution under the German Copyright Law. Springer is a part of Springer Science+Business Media springer.com Springer-Verlag Berlin Heidelberg 2007 Printed in Germany Typesetting: Camera-ready by author, data conversion by Scientific Publishing Services, Chennai, India Printed on acid-free paper SPIN: /

4 Preface This volume contains the proceedings of the 11th International Symposium on Database Programming Languages (DBPL 2007), held in Vienna, Austria, on September 23 24, DBPL 2007 was one of 15 meetings co-located with VLDB (the International Conference on Very Large Data Bases). DBPL continues to present the very best work at the intersection of database and programming language research. The proceedings include a paper based on the invited talk by Wenfei Fan and the 16 contributed papers that were selected by the program committee from 41 submissions. Every submission was reviewed by at least three members of the program committee. In addition, the program committee sought the opinions of additional referees, selected because of their expertise on particular topics. The final selection of papers was made during the last week of July. We would like to thank all of the authors who submitted papers to the conference, and the members of the program committee for their excellent work. The program committee did not meet in person, but carried out extensive discussions during the electronic PC meeting. We are grateful to Andrei Voronkov for his EasyChair system that made it so easy to manage these discussions. Finally, we would also like to thank Christoph Koch and Gavin Bierman for their assistance and sound counsel, and the organizers of VLDB 2007 for taking care of the local organization of DBPL. September 2007

5 Organization Program Co-chairs Pontificia Universidad Católica de Chile, Chile University of Aarhus, Denmark Program Committee Sihem Amer-Yahia Paolo Atzeni Pablo Barcelo Andrea Cali Alin Deutsch Jan Hidders Anastasios Kementsietsidis Wim Martens Maarten Marx Erik Meijer Frank Neven Benjamin Pierce Mukund Raghavachari Helmut Seidl Jérôme Siméon Dan Suciu Wang-Chiew Tan Stijn Vansummeren Limsoon Wong Yahoo! Research, USA Pontificia Universidad Católica de Chile, Chile Università RomaTre,Italy Universidad de Chile, Chile Free University of Bozen-Bolzano, Italy University of California, San Diego, USA University of Antwerp, Belgium University of Edinburgh, UK Universität Dortmund, Germany Universiteit van Amsterdam, The Netherlands Microsoft, USA Hasselt University, Belgium University of Pennsylvania, USA IBM Watson, USA University of Aarhus, Denmark Technische Universität München, Germany IBM Watson, USA University of Washington, USA University of California, Santa Cruz, USA Hasselt University, Belgium National University of Singapore, Singapore External Referees Alexandru Berlea Luca Cabibbo Alessandro Campi James Cheney Nate Foster Wouter Gelade Mauricio Hernandez Tadeusz Litak Davide Martinenghi Nicola Onose Jorge Pérez Christopher Re Balder ten Cate Yannis Velegrakis

6 Table of Contents Invited Talk XML Publishing: Bridging Theory and Practice... 1 Wenfei Fan Algorithms Efficient Algorithms for the Tree Homeomorphism Problem Michaela Götz, Christoph Koch, and Wim Martens Datalog Programs over Infinite Databases, Revisited Sara Cohen, Joseph (Yossi) Gil, and Evelina Zarivach XML Query Languages A Methodology for Coupling Fragments of XPath with Structural Indexes for XML Documents George H.L. Fletcher, Dirk Van Gucht, Yuqing Wu, Marc Gyssens, Sofía Brenes, and Jan Paredaens Conjunctive Query Containment over Trees Henrik Björklund, Wim Martens, and Thomas Schwentick A Better Semantics for XQuery with Side-Effects Giorgio Ghelli, Nicola Onose, Kristoffer Rose, and Jérôme Siméon Inconsistency Handling Repairing Inconsistent XML Write-Access Control Policies Loreto Bravo, James Cheney, and Irini Fundulaki On the Consistent Rewriting of Conjunctive Queries Under Primary Key Constraints Jef Wijsen Data Provenance Relational Completeness of Query Languages for Annotated Databases Floris Geerts and Jan Van den Bussche

7 VIII Table of Contents Provenance as Dependency Analysis James Cheney, Amal Ahmed, and Umut A. Acar Emerging Data Models A Theory of Stream Queries Yuri Gurevich, Dirk Leinders, and Jan Van den Bussche Querying Structural and Behavioral Properties of Business Processes Daniel Deutch and Tova Milo Efficient Evaluation of HAVING Queries on a Probabilistic Database Christopher Ré and Dan Suciu Type Checking Succinctness of Pattern-Based Schema Languages for XML Wouter Gelade and Frank Neven Analysis of Imperative XML Programs Michael G. Burke, Igor Peshansky, Mukund Raghavachari, and Christoph Reichenbach Efficient Inclusion for a Class of XML Types with Interleaving and Counting Giorgio Ghelli, Dario Colazzo, and Carlo Sartiani Towards Practical Typechecking for Macro Tree Transducers Alain Frisch and Haruo Hosoya Author Index