Limit search to available items
Book Cover
E-book

Title In search of elegance in the theory and practice of computation : essays dedicated to Peter Buneman / Val Tannen ... [and 5 more] (eds.)
Published Heidelberg : Springer, 2013

Copies

Description 1 online resource (xii, 569 pages) : illustrations (some color)
Series Lecture Notes in Computer Science, 0302-9743 ; 8000
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Lecture notes in computer science ; 8000. 0302-9743
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Contents 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 -- The 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
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
Analysis computerwetenschappen
computer sciences
programmeertalen
programming languages
databasebeheer
database management
Information and Communication Technology (General)
Informatie- en communicatietechnologie (algemeen)
Notes Includes author index
English
Online resource; title from PDF title page (SpringerLink, viewed November 4, 2013)
Subject Computer science -- Mathematics.
Computational complexity.
Mathematics.
Mathematics
Mathematics
Computational complexity
Computer science -- Mathematics
Genre/Form Festschriften
Festschriften.
Form Electronic book
Author Buneman, Peter, 1943- honouree.
Tannen, Val, 1953- editor.
ISBN 9783642416606
3642416608
3642416594
9783642416590