Cover Image

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...

Full description

Other Authors: Buneman, Peter, 1943-, Tannen, Val, 1953-, SpringerLink (Online service)
Format: eBook
Language: English
Published: Heidelberg : Springer, 2013.
Physical Description: 1 online resource (xii, 569 pages) : illustrations (some color).
Series: Lecture notes in computer science ; 8000.
LNCS sublibrary. Theoretical computer science and general issues.
Subjects:
Summary: 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.
Item Description: Includes author index.
Models for Data-Centric Workflows / Serge Abiteboul and Victor Vianu -- Relational Databases and Bell's Theorem / Samson Abramsky -- High-Level Rules for Integration and Analysis of Data: New Challenges / Bogdan Alexe and Douglas Burdick -- A New Framework for Designing Schema Mappings / Bogdan Alexe and Wang-Chiew Tan -- User Trust and Judgments in a Curated Database with Explicit Provenance / David W. Archer and Lois M.L. Delcambre -- An Abstract, Reusable, and Extensible Programming Language Design Architecture / Hassan Aït-Kaci -- A Discussion on Pricing Relational Data / Magdalena Balazinska and Bill Howe -- Tractable Reasoning in Description Logics with Functionality Constraints / Andrea Calì, Georg Gottlob and Andreas Pieris -- Toward a Theory of Self-explaining Computation / James Cheney, Umut A. Acar and Roly Perera.
To Show or Not to Show in Workflow Provenance / Susan B. Davidson, Sanjeev Khanna and Tova Milo -- Provenance-Directed Chase & Backchase / Alin Deutsch and Richard Hull -- Data Quality Problems beyond Consistency and Deduplication / Wenfei Fan, Floris Geerts and Shuai Ma -- Hitting Buneman Circles / Michael Paul Fourman -- Looking at the World Thru Colored Glasses / Floris Geerts and Anastasios Kementsietsidis -- Static Analysis and Query Answering for Incomplete Data Trees with Constraints / Amélie Gheerbra -- Using SQL for Efficient Generation and Querying of Provenance Information / Boris Glavic and Renée J. Miller -- Bounds and Algorithms for Joins via Fractional Edge Covers / Martin Grohe -- Incremental Data Fusion Based on Provenance Information / Carmem Satie Hara -- Provenance for Linked Data / Grigoris Karvounarakis and Irini Fundulaki.
First-Order Provenance Games / Sven Köhler, Bertram Ludäscher and Daniel Zinn-- Querying an Integrated Complex-Object Dataflow Database / Natalia Kwasnikowska and Jan Van den Bussche -- Types, Functional Programming and Atomic Transactions in Hardware Design / Rishiyur S. Nikhil -- Record Polymorphism: Its Development and Applications / Atsushi Ohori -- A Calculus of Chemical Systems / Gordon D. Plotkin -- Schemaless Semistructured Data Revisited / Keishi Tajima -- Provenance Propagation in Complex Queries / Val Tannen -- Well-Defined NRC Queries Can Be Typed / Jan Van den Bussche and Stijn Vansummeren -- Nine Years with Peter Buneman / Stratis D. Viglas -- Modal Logic for Preference Based on Reasons / Daniel Osherson and Scott Weinstein -- Dichotomous Intensional Expressive Power of the Nested Relational Calculus with Powerset / Limsoon Wong -- Provenance in a Modifiable Data Set / Jing Zhang and H.V. Jagadish.
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.
Physical Description: 1 online resource (xii, 569 pages) : illustrations (some color).
ISBN: 9783642416606
3642416608
ISSN: 0302-9743 ;