Database Programming Languages: 8th International Workshop, DBPL 2001, Frascati, Italy, September 8-10, 2001. Revised Papers

by Gosta Grahne (Editor), Giorgia Ghelli (Editor)

Overview

The papers in this volume represent the technical program of the 8th Biennial Workshop on Data Bases and Programming Languages (DBPL 2001), that was held during September 8-10, 2001, in Frascati, located on the beautiful hills surrounding Rome, in an area favored by the ancient Roman patricians who built their summer residences there. DBPL 2001 continued the tradition of - cellence initiated by its predecessors in Rosco?, Finis&tgrave; ere (1987), Salishan, O- gon (1989), Nafplion, Argolida (1991), Manhattan, New York (1993), Gubbio, Umbria (1995), Estes Park, Colorado (1997), and Kinloch Rannoch, Scotland (1999). Databases grew out of a separation between physical and logical data, thus enabling high-level query languages. Database query languages have evolved in expressive power and structural capabilities. Programming languages have seen a development from assembly languages to high-level declarative paradigms. Thus the two areas approach each other as they mature. Earlier successful cro- fertilizationsbetweenthe?eldsincludethecombinationofrelationaltheory, type theory and object-oriented languages, resulting in object-oriented databases, object-relational databases and persistent programming languages. The com- nation of database logic programming and constraint programming p- duceddeductiveandconstraintdatabases.Recently, withtheemergenceofse- structured data models, there is a renewed synergy between databases and p- gramminglanguages, inparticularinthedesignoflanguagestomanipulateXML data. The DBPL 2001 Program Co-Chairs were Giorgio Ghelli (Pisa) and G] osta Grahne(Montr´ eal).TheProgramCommitteeMemberswereCatrielBeeri(Je- salem), DiegoCalvanese(Rome), RichardConnor(Glasgow), AlonHalevy(Se- tle), Leonid Libkin (Toronto), Gianni Mecca (Potenza), Frank Neven (Limburg), Benjamin Pierce (Philadelphia), Chris Ramming (Menlo Park), J´ er^ ome Sim´ eon (Murray Hill), Victor Vianu (San Diego), and Philip Wadler (Basking Ridge).

Product Details

ISBN-13:	9783540440802
Publisher:	Springer Berlin Heidelberg
Publication date:	10/28/2002
Series:	Lecture Notes in Computer Science , #2397
Edition description:	2002
Pages:	343
Product dimensions:	6.10(w) x 9.25(h) x 0.03(d)

Table of Contents

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.