+612 9045 4394
 
CHECKOUT
Database Programming Languages : 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers - Marcelo Arenas

Database Programming Languages

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

By: Marcelo Arenas (Editor), Michael I. Schwartzbach (Editor)

Paperback

Published: 12th October 2007
Ships: 5 to 9 business days
5 to 9 business days
$125.05
or 4 easy payments of $31.26 with Learn more

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.

Invited Talk
XML Publishing: Bridging Theory and Practicep. 1
Algorithms
Efficient Algorithms for the Tree Homeomorphism Problemp. 17
Datalog Programs over Infinite Databases, Revisitedp. 32
XML Query Languages
A Methodology for Coupling Fragments of XPath with Structural Indexes for XML Documentsp. 48
Conjunctive Query Containment over Treesp. 66
A Better Semantics for XQuery with Side-Effectsp. 81
Inconsistency Handling
Repairing Inconsistent XML Write-Access Control Policiesp. 97
On the Consistent Rewriting of Conjunctive Queries Under Primary Key Constraintsp. 112
Data Provenance
Relational Completeness of Query Languages for Annotated Databasesp. 127
Provenance as Dependency Analysisp. 138
Emerging Data Models
A Theory of Stream Queriesp. 153
Querying Structural and Behavioral Properties of Business Processesp. 169
Efficient Evaluation of HAVING Queries on a Probabilistic Databasep. 186
Type Checking
Succinctness of Pattern-Based Schema Languages for XMLp. 201
Analysis of Imperative XML Programsp. 216
Efficient Inclusion for a Class of XML Types with Interleaving and Countingp. 231
Towards Practical Typechecking for Macro Tree Transducersp. 246
Author Indexp. 261
Table of Contents provided by Ingram. All Rights Reserved.

ISBN: 9783540759867
ISBN-10: 3540759867
Series: Lecture Notes in Computer Science
Audience: Professional
Format: Paperback
Language: English
Number Of Pages: 264
Published: 12th October 2007
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.5 x 15.5  x 1.58
Weight (kg): 0.42