Database Programming Languages

Invited Contribution.- Typechecking for Semistructured Data.- Semistructured Data.- Optimization Properties for Classes of Conjunctive Regular Path Queries.- View-Based Query Answering and Query Containment over Semistructured Data.- Model-Checking Based Data Retrieval.- OLAP and Data Mining.- A Temporal Query Language for OLAP: Implementation and a Case Study.- Attribute Metadata for Relational OLAP and Data Mining.- On Monotone Data Mining Languages.- XML.- Reasoning about Keys for XML.- TAX: A Tree Algebra for XML.- A Rule-Based Querying and Updating Language for XML.- Spatial Databases.- Linear Approximation of Semi-algebraic Spatial Databases Using Transitive Closure Logic, in Arbitrary Dimension.- A Theory of Spatio-temporal Database Queries.- Systems, Schema Integration, Index Concurrency.- An Application-Specific Database.- A Model Theory for Generic Schema Management.- View Serializable Updates of Concurrent Index Structures.- User Languages.- SQL4X: A Flexible Query Language for XML and Relational Databases.- ERX-QL: Querying an Entity-Relationship DB to Obtain XML Documents.- Rules.- Optimising Active Database Rules by Partial Evaluation and Abstract Interpretation.- Simulation of Advanced Transaction Models Using GOLOG.