In Search of Elegance in the Theory and Practice of Computation Essays dedicated to Peter Buneman /

This Festschrift volume, published in honour of Peter Buneman, contains contributions written by some of his colleagues, former students, and friends. In celebration of his distinguished career a colloquium was held in Edinburgh, Scotland, 27-29 October, 2013. The articles presented herein belong to...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Tannen, Val (Editor ), Wong, Limsoon (Editor ), Libkin, Leonid (Editor ), Fan, Wenfei (Editor ), Tan, Wang-Chiew (Editor ), Fourman, Michael (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Edición:1st ed. 2013.
Colección:Theoretical Computer Science and General Issues, 8000
Temas:
Database management.
Compilers (Computer programs).
Computer science.
Database Management.
Compilers and Interpreters.
Computer Science Logic and Foundations of Programming.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Models for Data-Centric Workflows
  • Relational Databases and Bell's Theorem
  • High-Level Rules for Integration and Analysis of Data: New Challenges
  • A New Framework for Designing Schema Mappings
  • User Trust and Judgments in a Curated Database with Explicit Provenance
  • An Abstract, Reusable, and Extensible Programming Language Design Architecture
  • A Discussion on Pricing Relational Data
  • Tractable Reasoning in Description Logics with Functionality Constraints
  • Toward a Theory of Self-explaining Computation
  • To Show or Not to Show in Workflow Provenance
  • Provenance-Directed Chase and Backchase
  • Data Quality Problems beyond Consistency and Deduplication
  • Hitting Buneman Circles
  • Looking at the World Thru Colored Glasses
  • Static Analysis and Query Answering for Incomplete Data Trees with Constraints
  • Using SQL for Efficient Generation and Querying of Provenance Information
  • Bounds and Algorithms for Joins via Fractional Edge Covers
  • Incremental Data Fusion Based on Provenance Information
  • Provenance for Linked Data
  • First-Order Provenance Games
  • Querying an Integrated Complex-Object Dataflow Database
  • Types, Functional Programming and Atomic Transactions in Hardware Design
  • Record Polymorphism: Its Development and Applications
  • A Calculus of Chemical Systems
  • Schemaless Semistructured Data Revisited - Reinventing Peter Buneman's Deterministic Semistructured Data Model
  • Provenance Propagation in Complex Queries
  • Well-Defined NRC Queries Can Be Typed
  • Nine Years with Peter Buneman
  • Modal Logic for Preference Based on Reasons
  • The Dichotomous Intensional Expressive Power of the Nested Relational Calculus with Powerset
  • Provenance in a Modifiable Data Set.

Ejemplares similares