Skip to main content
SpringerLink
Log in

Database Programming Languages

11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers

  • Conference proceedings
  • © 2007

Overview

Editors:
  1. Marcelo Arenas
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Michael I. Schwartzbach
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 4797)

Part of the book sub series: Information Systems and Applications, incl. Internet/Web, and HCI (LNISA)

Included in the following conference series:

Conference proceedings info: DBPL 2007.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (17 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Talk

    1. XML Publishing: Bridging Theory and Practice

      • Wenfei Fan
      Pages 1-16

  3. Algorithms

    1. Efficient Algorithms for the Tree Homeomorphism Problem

      • Michaela Götz, Christoph Koch, Wim Martens
      Pages 17-31

    2. Datalog Programs over Infinite Databases, Revisited

      • Sara Cohen, Joseph (Yossi) Gil, Evelina Zarivach
      Pages 32-47

  4. XML Query Languages

    1. 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, Jan Paredaens
      Pages 48-65

    2. Conjunctive Query Containment over Trees

      • Henrik Björklund, Wim Martens, Thomas Schwentick
      Pages 66-80

    3. A Better Semantics for XQuery with Side-Effects

      • Giorgio Ghelli, Nicola Onose, Kristoffer Rose, Jérôme Siméon
      Pages 81-96

  5. Inconsistency Handling

    1. Repairing Inconsistent XML Write-Access Control Policies

      • Loreto Bravo, James Cheney, Irini Fundulaki
      Pages 97-111

    2. On the Consistent Rewriting of Conjunctive Queries Under Primary Key Constraints

      • Jef Wijsen
      Pages 112-126

  6. Data Provenance

    1. Relational Completeness of Query Languages for Annotated Databases

      • Floris Geerts, Jan Van den Bussche
      Pages 127-137

    2. Provenance as Dependency Analysis

      • James Cheney, Amal Ahmed, Umut A. Acar
      Pages 138-152

  7. Emerging Data Models

    1. A Theory of Stream Queries

      • Yuri Gurevich, Dirk Leinders, Jan Van den Bussche
      Pages 153-168

    2. Querying Structural and Behavioral Properties of Business Processes

      • Daniel Deutch, Tova Milo
      Pages 169-185

    3. Efficient Evaluation of HAVING Queries on a Probabilistic Database

      • Christopher Ré, Dan Suciu
      Pages 186-200

  8. Type Checking

    1. Succinctness of Pattern-Based Schema Languages for XML

      • Wouter Gelade, Frank Neven
      Pages 201-215

    2. Analysis of Imperative XML Programs

      • Michael G. Burke, Igor Peshansky, Mukund Raghavachari, Christoph Reichenbach
      Pages 216-230

    3. Efficient Inclusion for a Class of XML Types with Interleaving and Counting

      • Giorgio Ghelli, Dario Colazzo, Carlo Sartiani
      Pages 231-245

    4. Towards Practical Typechecking for Macro Tree Transducers

      • Alain Frisch, Haruo Hosoya
      Pages 246-260

  9. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Database Programming Languages

Keywords

About this book

This volume contains the proceedings of the 11th International Symposium on Database Programming Languages (DBPL 2007), held in Vienna, Austria, on September 23–24, 2007. DBPL 2007 was one of 15 meetings co-located with VLDB (the International Conference on Very Large Data Bases). DBPLcontinues to presentthe verybest workat the intersectionof 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 programcommittee 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 ?nal 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 c- ference, and the members of the program committee for their excellent work. The program committee did not meet in person, but carried out extensive d- cussions 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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation