In Search of Elegance in the Theory and Practice of Computation
Springer Berlin (Verlag)
978-3-642-41659-0 (ISBN)
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.
| Erscheint lt. Verlag | 8.10.2013 |
|---|---|
| Reihe/Serie | Lecture Notes in Computer Science | Theoretical Computer Science and General Issues |
| Zusatzinfo | XII, 569 p. 121 illus. |
| Verlagsort | Berlin |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Gewicht | 884 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Datenbanken |
| Informatik ► Theorie / Studium ► Compilerbau | |
| Schlagworte | data curation • data provenance • Query Evaluation • schema mapping • Workflows |
| ISBN-10 | 3-642-41659-4 / 3642416594 |
| ISBN-13 | 978-3-642-41659-0 / 9783642416590 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
