This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Database Programming Languages, DBPL 2001, held in Frascati, Italy, in September 2001.
The 18 revised full papers presented together with an invited paper were carefully selected during two rounds of reviewing and revision. The papers are organized in topical sections on semistructured data; OLAP and data mining; systems, schema integration, and index concurrency; XML; spatial databases; user languages; and rules.
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.
Overview
This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Database Programming Languages, DBPL 2001, held in Frascati, Italy, in September 2001.
The 18 revised full papers presented together with an invited paper were carefully selected during two rounds of reviewing and revision. The papers are organized in topical sections on semistructured data; OLAP and data mining; systems, schema integration, and ...