Database Programming Languages 9th International Workshop, DBPL 2003, Potsdam, Germany, September 6-8, 2003, Revised Papers

This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on Database Programming Languages, DBPL 2003, held in Potsdam, Germany in September 2003.
The 14 revised full papers presented together with an invited paper were carefully selected during two round of reviewing and revision from 22 submissions. The papers are organized in topical sections on static analysis, transactions, modeling data and services, novel applications of XML and XQuery, and XML processing and validation.

Invited Contributions.- CQL: A Language for Continuous Queries over Streams and Relations.- XPath Query Processing.- Static Analysis.- Satisfiability of XPath Expressions.- Containment of Relational Queries with Annotation Propagation.- Avoiding Unnecessary Ordering Operations in XPath.- Transactions.- Consistency of Java Transactions.- Integrating Database and Programming Language Constraints.- A Unifying Semantics for Active Databases Using Non-Markovian Theories of Actions.- Modeling Data and Services.- Modelling Dynamic Web Data.- Semantics of Objectified XML Constraints.- M2ORM2: A Model for the Transparent Management of Relationally Persistent Objects.- Novel Applications of XML and XQuery.- Using XQuery for Flat-File Based Scientific Datasets.- A Query Algebra for Fragmented XML Stream Data.- XML Processing and Validation.- Updates and Incremental Validation of XML Documents.- Attribute Grammars for Scalable Query Processing on XML Streams.- A General Framework for Estimating XML Query Cardinality.