Wenfei Fan (auth.), Marcelo Arenas, Michael I. Schwartzbach (eds.)3540759867, 9783540759867
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. |
Table of contents :
Front Matter….Pages –
XML Publishing: Bridging Theory and Practice….Pages 1-16
Efficient Algorithms for the Tree Homeomorphism Problem….Pages 17-31
Datalog Programs over Infinite Databases, Revisited….Pages 32-47
A Methodology for Coupling Fragments of XPath with Structural Indexes for XML Documents….Pages 48-65
Conjunctive Query Containment over Trees….Pages 66-80
A Better Semantics for XQuery with Side-Effects….Pages 81-96
Repairing Inconsistent XML Write-Access Control Policies….Pages 97-111
On the Consistent Rewriting of Conjunctive Queries Under Primary Key Constraints….Pages 112-126
Relational Completeness of Query Languages for Annotated Databases….Pages 127-137
Provenance as Dependency Analysis….Pages 138-152
A Theory of Stream Queries….Pages 153-168
Querying Structural and Behavioral Properties of Business Processes….Pages 169-185
Efficient Evaluation of HAVING Queries on a Probabilistic Database….Pages 186-200
Succinctness of Pattern-Based Schema Languages for XML….Pages 201-215
Analysis of Imperative XML Programs….Pages 216-230
Efficient Inclusion for a Class of XML Types with Interleaving and Counting….Pages 231-245
Towards Practical Typechecking for Macro Tree Transducers….Pages 246-260
Back Matter….Pages – |
Reviews
There are no reviews yet.