Skip to main content
SpringerLink
Log in
Book cover

In Search of Elegance in the Theory and Practice of Computation

Essays dedicated to Peter Buneman

  • Book
  • © 2013

Overview

Editors:
  1. Val Tannen

    1. Department of Computer and Information Science, University of Pennsylvania, Philadelphia, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Limsoon Wong

    1. School of Computing, National University of Singapore, Singapore, Singapore

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Leonid Libkin

    1. School of Informatics, The University of Edinburgh, Edinburgh, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Wenfei Fan

    1. School of Informatics, The University of Edinburgh, Edinburgh, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Wang-Chiew Tan

    1. Department of Computer Science, University of California, Santa Cruz, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  6. Michael Fourman

    1. School of Informatics, The University of Edinburgh, Edinburgh, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Dedicated to one of the founders of the field of digital curation
  • Contains a collection of essays dedicated to databases and programming languages
  • Covers a variety of topics from database programming, scientific workflows to data provenance

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (31 chapters)

  1. Front Matter

    Download chapter 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
Back to top

Keywords

About this book

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.

Editors and Affiliations

  • Department of Computer and Information Science, University of Pennsylvania, Philadelphia, USA

    Val Tannen

  • School of Computing, National University of Singapore, Singapore, Singapore

    Limsoon Wong

  • School of Informatics, The University of Edinburgh, Edinburgh, UK

    Leonid Libkin, Wenfei Fan, Michael Fourman

  • Department of Computer Science, University of California, Santa Cruz, USA

    Wang-Chiew Tan

Bibliographic Information

  • Book Title: In Search of Elegance in the Theory and Practice of Computation

  • Book Subtitle: Essays dedicated to Peter Buneman

  • Editors: Val Tannen, Limsoon Wong, Leonid Libkin, Wenfei Fan, Wang-Chiew Tan, Michael Fourman

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-642-41660-6

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2013

  • Softcover ISBN: 978-3-642-41659-0Published: 08 October 2013

  • eBook ISBN: 978-3-642-41660-6Published: 28 October 2013

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XII, 569

  • Number of Illustrations: 121 b/w illustrations

  • Topics: Database Management, Programming Languages, Compilers, Interpreters, Logics and Meanings of Programs

Publish with us

Policies and ethics

Back to top

Search

Navigation