In Search of Elegance in the Theory and Practice of Computation

Essays dedicated to Peter Buneman

Val Tannen, Limsoon Wong, Leonid Libkin, Wenfei Fan, Wang-Chiew Tan, Michael Fourman (Herausgeber)

Buch | Softcover

XII, 569 Seiten

2013 | 2013
Springer Berlin (Verlag)
978-3-642-41659-0 (ISBN)

Artikel merken

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 some of the many areas of Peter's research interests.

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.

Erscheint lt. Verlag	8.10.2013
Reihe/Serie	Lecture Notes in Computer Science
Reihe/Serie	Theoretical Computer Science and General Issues
Zusatzinfo	XII, 569 p. 121 illus.
Verlagsort	Berlin
Sprache	englisch
Maße	155 x 235 mm
Gewicht	884 g
Themenwelt	Mathematik / Informatik ► Informatik ► Datenbanken
Themenwelt	Informatik ► Theorie / Studium ► Compilerbau
Schlagworte	data curation • data provenance • Query Evaluation • schema mapping • Workflows
ISBN-10	3-642-41659-4 / 3642416594
ISBN-13	978-3-642-41659-0 / 9783642416590
Zustand	Neuware