Database Programming Languages: 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers / Edition 1
by Marcelo Arenas, Michael I. SchwartzbachISBN-10: 3540759867
ISBN-13: 9783540759867
Pub. Date: 10/28/2007
Publisher: Springer Berlin Heidelberg
This book constitutes the thoroughly refereed post-proceedings of the 11th International Symposium on Database Programming Languages, DBPL 2007, held in conjunction with VLDB 2007. The 16 revised full papers presented together with one invited lecture were carefully selected during two rounds of reviewing. The papers are organized in topical sections on algorithms,
Overview
This book constitutes the thoroughly refereed post-proceedings of the 11th International Symposium on Database Programming Languages, DBPL 2007, held in conjunction with VLDB 2007. The 16 revised full papers presented together with one invited lecture were carefully selected during two rounds of reviewing. The papers are organized in topical sections on algorithms, XML query languages, inconsistency handling, data provenance, emerging data models, and type checking.
Product Details
- ISBN-13:
- 9783540759867
- Publisher:
- Springer Berlin Heidelberg
- Publication date:
- 10/28/2007
- Series:
- Lecture Notes in Computer Science / Information Systems and Applications, incl. Internet/Web, and HCI Series , #4797
- Edition description:
- 2007
- Pages:
- 264
- Product dimensions:
- 6.10(w) x 9.25(h) x 0.02(d)
Table of Contents
Invited Talk.- XML Publishing: Bridging Theory and Practice.- Algorithms.- Efficient Algorithms for the Tree Homeomorphism Problem.- Datalog Programs over Infinite Databases, Revisited.- XML Query Languages.- AMethodologyforCouplingFragmentsofXPath with Structural Indexes for XML Documents.- Conjunctive Query Containment over Trees.- A Better Semantics for XQuery with Side-Effects.- Inconsistency Handling.- Repairing Inconsistent XML Write-Access Control Policies.- On the Consistent Rewriting of Conjunctive Queries Under Primary Key Constraints.- Data Provenance.- Relational Completeness of Query Languages for Annotated Databases.- Provenance as Dependency Analysis.- Emerging Data Models.- A Theory of Stream Queries.- Querying Structural and Behavioral Properties of Business Processes.- Efficient Evaluation of HAVING Queries on a Probabilistic Database.- Type Checking.- Succinctness of Pattern-Based Schema Languages for XML.- Analysis of Imperative XML Programs.- Efficient Inclusion for a Class of XML Types with Interleaving and Counting.- Towards Practical Typechecking for Macro Tree Transducers.
Customer Reviews
Average Review: