Database Programming Languages 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers /

This volume contains the proceedings of the 11th International Symposium on Database Programming Languages (DBPL 2007), held in Vienna, Austria, on September 23-24, 2007. DBPL 2007 was one of 15 meetings co-located with VLDB (the International Conference on Very Large Data Bases). DBPLcontinues to p...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Arenas, Marcelo (Editor ), Schwartzbach, Michael I. (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Edición:1st ed. 2007.
Colección:Information Systems and Applications, incl. Internet/Web, and HCI ; 4797
Temas:
Data structures (Computer science).
Information theory.
Compilers (Computer programs).
Database management.
Information storage and retrieval systems.
Application software.
Information retrieval.
Computer architecture.
Data Structures and Information Theory.
Compilers and Interpreters.
Database Management.
Information Storage and Retrieval.
Computer and Information Systems Applications.
Data Storage Representation.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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
  • A Methodology for Coupling Fragments of XPath 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.

Ejemplares similares