DBPL-11, 2007: Vienna, Austria

Marcelo Arenas, Michael I. Schwartzbach (Eds.): Database Programming Languages, 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers. Lecture Notes in Computer Science 4797 Springer 2007, ISBN 978-3-540-75986-7

Invited Talk

Michaela Götz, Christoph Koch, Wim Martens:
Efficient Algorithms for the Tree Homeomorphism Problem. 17-31
Sara Cohen, Joseph Gil, Evelina Zarivach:
Datalog Programs over Infinite Databases, Revisited. 32-47

George H. L. Fletcher, Dirk Van Gucht, Yuqing Wu, Marc Gyssens, Sofia Brenes, Jan Paredaens:
A Methodology for Coupling Fragments of XPath with Structural Indexes for XML Documents. 48-65
Henrik Björklund, Wim Martens, Thomas Schwentick:
Conjunctive Query Containment over Trees. 66-80
Giorgio Ghelli, Nicola Onose, Kristoffer Høgsbro Rose, Jérôme Siméon:
A Better Semantics for XQuery with Side-Effects. 81-96

Loreto Bravo, James Cheney, Irini Fundulaki:
Repairing Inconsistent XML Write-Access Control Policies. 97-111
Jef Wijsen:
On the Consistent Rewriting of Conjunctive Queries Under Primary Key Constraints. 112-126

Floris Geerts, Jan Van den Bussche:
Relational Completeness of Query Languages for Annotated Databases. 127-137
James Cheney, Amal Ahmed, Umut A. Acar:
Provenance as Dependency Analysis. 138-152

Yuri Gurevich, Dirk Leinders, Jan Van den Bussche:
A Theory of Stream Queries. 153-168
Daniel Deutch, Tova Milo:
Querying Structural and Behavioral Properties of Business Processes. 169-185
Christopher Ré, Dan Suciu:
Efficient Evaluation of. 186-200

Wouter Gelade, Frank Neven:
Succinctness of Pattern-Based Schema Languages for XML. 201-215
Michael G. Burke, Igor Peshansky, Mukund Raghavachari, Christoph Reichenbach:
Analysis of Imperative XML Programs. 216-230
Giorgio Ghelli, Dario Colazzo, Carlo Sartiani:
Efficient Inclusion for a Class of XML Types with Interleaving and Counting. 231-245
Alain Frisch, Haruo Hosoya:
Towards Practical Typechecking for Macro Tree Transducers. 246-260