Database Programming Languages

Invited Talk.- XML Publishing: Bridging Theory and Practice.- Algorithms.- Efficient Algorithms for the Tree Homeomorphism Problem.- Datalog Programs over Infinite Databases, Revisited.- XML Query Languages.- A Methodology for Coupling Fragments of XPath with Structural Indexes for XML Documents.- Conjunctive Query Containment over Trees.- A Better Semantics for XQuery with Side-Effects.- Inconsistency Handling.- Repairing Inconsistent XML Write-Access Control Policies.- On the Consistent Rewriting of Conjunctive Queries Under Primary Key Constraints.- Data Provenance.- Relational Completeness of Query Languages for Annotated Databases.- Provenance as Dependency Analysis.- Emerging Data Models.- A Theory of Stream Queries.- Querying Structural and Behavioral Properties of Business Processes.- Efficient Evaluation of HAVING Queries on a Probabilistic Database.- Type Checking.- Succinctness of Pattern-Based Schema Languages for XML.- Analysis of Imperative XML Programs.- Efficient Inclusion for a Class of XML Types with Interleaving and Counting.- Towards Practical Typechecking for Macro Tree Transducers.