Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
In Search of Elegance in the Theory and Practice of Computation: Essays Dedicated to Peter Buneman

In Search of Elegance in the Theory and Practice of Computation: Essays Dedicated to Peter Buneman

Tannen, Val
Wong, Limsoon
Libkin, Leonid

Paperback

DatabasesProgramming

ISBN10: 3642416594
ISBN13: 9783642416590
Publisher: Springer
Published: Oct 8 2013
Pages: 569
Weight: 1.78
Height: 1.18 Width: 6.14 Depth: 9.21
Language: English
Models for Data-Centric Workflows.- Relational Databases and Bell's Theorem.- High-Level Rules for Integration and Analysis of Data: New Challenges.- A New Framework for Designing Schema Mappings.- User Trust and Judgments in a Curated Database with Explicit Provenance.- An Abstract, Reusable, and Extensible Programming Language Design Architecture.- A Discussion on Pricing Relational Data.- Tractable Reasoning in Description Logics with Functionality Constraints.- Toward a Theory of Self-explaining Computation.- To Show or Not to Show in Workflow Provenance.- Provenance-Directed Chase and Backchase.- Data Quality Problems beyond Consistency and Deduplication.- Hitting Buneman Circles.- Looking at the World Thru Colored Glasses.- Static Analysis and Query Answering for Incomplete Data Trees with Constraints.- Using SQL for Efficient Generation and Querying of Provenance Information.- Bounds and Algorithms for Joins via Fractional Edge Covers.- Incremental Data Fusion Based on Provenance Information.- Provenance for Linked Data.- First-Order Provenance Games.- Querying an Integrated Complex-Object Dataflow Database.- Types, Functional Programming and Atomic Transactions in Hardware Design.- Record Polymorphism: Its Development and Applications.- A Calculus of Chemical Systems.- Schemaless Semistructured Data Revisited - Reinventing Peter Buneman's Deterministic Semistructured Data Model.- Provenance Propagation in Complex Queries.- Well-Defined NRC Queries Can Be Typed.- Nine Years with Peter Buneman.- Modal Logic for Preference Based on Reasons.- The Dichotomous Intensional Expressive Power of the Nested Relational Calculus with Powerset.- Provenance in a Modifiable Data Set.

Also in

Databases

View All