Ulteriori informazioni
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?, Finist` 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).
Sommario
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.
