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
Book

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8000)

Table of contents

  1. Front Matter
    PDF
  2. Models for Data-Centric Workflows
    Serge Abiteboul, Victor Vianu
    Pages 1-12
  3. Relational Databases and Bell’s Theorem
    Samson Abramsky
    Pages 13-35
  4. High-Level Rules for Integration and Analysis of Data: New Challenges
    Bogdan Alexe, Douglas Burdick, Mauricio A. Hernández, Georgia Koutrika, Rajasekar Krishnamurthy, Lucian Popa et al.
    Pages 36-55
  5. A New Framework for Designing Schema Mappings
    Bogdan Alexe, Wang-Chiew Tan
    Pages 56-88
  6. User Trust and Judgments in a Curated Database with Explicit Provenance
    David W. Archer, Lois M. L. Delcambre, David Maier
    Pages 89-111
  7. An Abstract, Reusable, and Extensible Programming Language Design Architecture
    Hassan Aït-Kaci
    Pages 112-166
  8. A Discussion on Pricing Relational Data
    Magdalena Balazinska, Bill Howe, Paraschos Koutris, Dan Suciu, Prasang Upadhyaya
    Pages 167-173
  9. Tractable Reasoning in Description Logics with Functionality Constraints
    Andrea Calì, Georg Gottlob, Andreas Pieris
    Pages 174-192
  10. Toward a Theory of Self-explaining Computation
    James Cheney, Umut A. Acar, Roly Perera
    Pages 193-216
  11. To Show or Not to Show in Workflow Provenance
    Susan B. Davidson, Sanjeev Khanna, Tova Milo
    Pages 217-226
  12. Provenance-Directed Chase&Backchase
    Alin Deutsch, Richard Hull
    Pages 227-236
  13. Data Quality Problems beyond Consistency and Deduplication
    Wenfei Fan, Floris Geerts, Shuai Ma, Nan Tang, Wenyuan Yu
    Pages 237-249
  14. Hitting Buneman Circles
    Michael Paul Fourman
    Pages 250-258
  15. Looking at the World Thru Colored Glasses
    Floris Geerts, Anastasios Kementsietsidis, Heiko Müller
    Pages 259-272
  16. Static Analysis and Query Answering for Incomplete Data Trees with Constraints
    Amélie Gheerbrant, Leonid Libkin, Juan Reutter
    Pages 273-290
  17. Using SQL for Efficient Generation and Querying of Provenance Information
    Boris Glavic, Renée J. Miller, Gustavo Alonso
    Pages 291-320
  18. Bounds and Algorithms for Joins via Fractional Edge Covers
    Martin Grohe
    Pages 321-338
  19. Incremental Data Fusion Based on Provenance Information
    Carmem Satie Hara, Cristina Dutra de Aguiar Ciferri, Ricardo Rodrigues Ciferri
    Pages 339-365
  20. Provenance for Linked Data
    Grigoris Karvounarakis, Irini Fundulaki, Vassilis Christophides
    Pages 366-381

About this book

Introduction

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.

Keywords

data curation data provenance query evaluation schema mapping workflows

Editors and affiliations

  • Val Tannen
    • 1
  • Limsoon Wong
    • 2
  • Leonid Libkin
    • 3
  • Wenfei Fan
    • 3
  • Wang-Chiew Tan
    • 4
  • Michael Fourman
    • 3
  1. 1.Department of Computer and Information ScienceUniversity of PennsylvaniaPhiladelphiaUSA
  2. 2.School of ComputingNational University of SingaporeSingaporeSingapore
  3. 3.School of InformaticsThe University of EdinburghEdinburghUK
  4. 4.Department of Computer ScienceUniversity of CaliforniaSanta CruzUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-41660-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-41659-0
  • Online ISBN 978-3-642-41660-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site