LEADER 04705nam 22006615 450 001 996465410003316 005 20230329220535.0 010 $a3-642-41660-8 024 7 $a10.1007/978-3-642-41660-6 035 $a(CKB)3710000000024433 035 $a(SSID)ssj0001049483 035 $a(PQKBManifestationID)11682085 035 $a(PQKBTitleCode)TC0001049483 035 $a(PQKBWorkID)11018751 035 $a(PQKB)10144923 035 $a(DE-He213)978-3-642-41660-6 035 $a(MiAaPQ)EBC3093195 035 $a(PPN)17611677X 035 $a(EXLCZ)993710000000024433 100 $a20131028d2013 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aIn Search of Elegance in the Theory and Practice of Computation$b[electronic resource] $eEssays dedicated to Peter Buneman /$fedited by Val Tannen, Limsoon Wong, Leonid Libkin, Wenfei Fan, Wang-Chiew Tan, Michael Fourman 205 $a1st ed. 2013. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013. 215 $a1 online resource (XII, 569 p. 121 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8000 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-41659-4 327 $aModels 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. 330 $aThis 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. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8000 606 $aDatabase management 606 $aCompilers (Computer programs) 606 $aComputer science 606 $aDatabase Management 606 $aCompilers and Interpreters 606 $aComputer Science Logic and Foundations of Programming 615 0$aDatabase management. 615 0$aCompilers (Computer programs). 615 0$aComputer science. 615 14$aDatabase Management. 615 24$aCompilers and Interpreters. 615 24$aComputer Science Logic and Foundations of Programming. 676 $a005.74 702 $aTannen$b Val$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aWong$b Limsoon$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aLibkin$b Leonid$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aFan$b Wenfei$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aTan$b Wang-Chiew$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aFourman$b Michael$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465410003316 996 $aIn Search of Elegance in the Theory and Practice of Computation$92556581 997 $aUNISA