Database Programming Languages

The papers in this volume represent the technical program of the 9th Biennial WorkshoponDataBasesandProgrammingLanguages(DBPL2003),whichwas held on September 6 8, 2003, in Potsdam, Germany. The workshop meets every two years, and is a well-established forum for ideas that lie at the intersection of database and programming language research. DBPL 2003 continued the t- dition of excellence initiated by its predecessors in Rosco?, Finistre (1987), S- ishan, Oregon (1989), Nafplion, Argolida (1991), Manhattan, New York (1993), Gubbio, Umbria (1995), Estes Park, Colorado (1997), Kinloch Rannoch, Sc- land (1999), and Frascati, Rome (2001). Theprogramcommitteeselected14papersoutof22submissions,andinvited twocontributions.The16talkswerepresentedoverthreedays,insevensessions. In theinvitedtalk Jennifer Widom presented the paper CQL: a Language forContinuousQueriesoverStreamsandRelations,coauthoredbyArvindArasu andShivnathBabu.Whilealotofresearchhasbeendonerecentlyonqueryp- cessingoverdatastreams,CQLisvirtuallythe?rstproposalofaquerylanguage on streams that is a strict extension of SQL. The language is structured around a simple yet powerful idea: it has two distinct data types, relations and streams, with well-de?ned operators for mapping between them. Window speci?cation expressions, such as sliding windows, map streams to relations, while operators such as insert stream, delete stream, and relation stream map relations to streams by returning, at each moment in time, the newly inserted tuples, the deleted tuples, or a snapshot of the entire relation. The numerous examples in this paper make a convincing case for the power and usefulness of CQL.

Includes supplementary material: sn.pub/extras

Inhalt
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.