In Search of Elegance in the Theory and Practice of Computation

Essays Dedicated to Peter Buneman

ISBN: 978-3-642-41659-0 (Print) 978-3-642-41660-6 (Online)

Table of contents (31 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. No Access

    Book Chapter

    Pages 1-12

    Models for Data-Centric Workflows

  3. No Access

    Book Chapter

    Pages 13-35

    Relational Databases and Bell’s Theorem

  4. No Access

    Book Chapter

    Pages 36-55

    High-Level Rules for Integration and Analysis of Data: New Challenges

  5. No Access

    Book Chapter

    Pages 56-88

    A New Framework for Designing Schema Mappings

  6. No Access

    Book Chapter

    Pages 89-111

    User Trust and Judgments in a Curated Database with Explicit Provenance

  7. No Access

    Book Chapter

    Pages 112-166

    An Abstract, Reusable, and Extensible Programming Language Design Architecture

  8. No Access

    Book Chapter

    Pages 167-173

    A Discussion on Pricing Relational Data

  9. No Access

    Book Chapter

    Pages 174-192

    Tractable Reasoning in Description Logics with Functionality Constraints

  10. No Access

    Book Chapter

    Pages 193-216

    Toward a Theory of Self-explaining Computation

  11. No Access

    Book Chapter

    Pages 217-226

    To Show or Not to Show in Workflow Provenance

  12. No Access

    Book Chapter

    Pages 227-236

    Provenance-Directed Chase&Backchase

  13. No Access

    Book Chapter

    Pages 237-249

    Data Quality Problems beyond Consistency and Deduplication

  14. No Access

    Book Chapter

    Pages 250-258

    Hitting Buneman Circles

  15. No Access

    Book Chapter

    Pages 259-272

    Looking at the World Thru Colored Glasses

  16. No Access

    Book Chapter

    Pages 273-290

    Static Analysis and Query Answering for Incomplete Data Trees with Constraints

  17. No Access

    Book Chapter

    Pages 291-320

    Using SQL for Efficient Generation and Querying of Provenance Information

  18. No Access

    Book Chapter

    Pages 321-338

    Bounds and Algorithms for Joins via Fractional Edge Covers

  19. No Access

    Book Chapter

    Pages 339-365

    Incremental Data Fusion Based on Provenance Information

  20. No Access

    Book Chapter

    Pages 366-381

    Provenance for Linked Data

  21. No Access

    Book Chapter

    Pages 382-399

    First-Order Provenance Games

previous Page of 2