DBPL-11, 2007: Vienna, Austria

Invited Talk

• Wenfei Fan:
  XML Publishing: Bridging Theory and Practice. 1-16
  Electronic Edition (link) BibTeX

Algorithms

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

XML Query Languages

• 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
  Electronic Edition (link) BibTeX
• Henrik Björklund, Wim Martens, Thomas Schwentick:
  Conjunctive Query Containment over Trees. 66-80
  Electronic Edition (link) BibTeX
• Giorgio Ghelli, Nicola Onose, Kristoffer Høgsbro Rose, Jérôme Siméon:
  A Better Semantics for XQuery with Side-Effects. 81-96
  Electronic Edition (link) BibTeX

Inconsistency Handling

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

Data Provenance

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

Emerging Data Models

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

Type Checking

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