In Search of Elegance in the Theory and Practice of Computation

Essays dedicated to Peter Buneman

AvVal Tannen,Limsoon Wong

Häftad, Engelska, 2013

Del i serien Lecture Notes in Computer Science

572 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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.

Produktinformation

Utgivningsdatum:2013-10-08
Mått:155 x 235 x 32 mm
Vikt:873 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:569
Upplaga:2013
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783642416590

Utforska kategorier

Innehållsförteckning

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.

Du kanske också är intresserad av

Nyhet

Exit Adventskalender - Julens magi (SE)

Exit

499 kr

In Search of Elegance in the Theory and Practice of Computation

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

E-bok

2013

734 kr

Introduction to Computation

Philip Wadler, Haoran Peng, Michael Fourman, Donald Sannella

E-bok

2022

542 kr

Introduction to Computation

Donald Sannella, Michael Fourman, Haoran Peng, Philip Wadler

Häftad, 2022

437 kr

Semantic Web and Databases

Christoph Bussler, Val Tannen, Irini Fundulaki

Häftad, 2005

572 kr

Data Integration in the Life Sciences

Val Tannen, Sarah Cohen-Boulakia

E-bok

2007

712 kr

Semantic Web and Databases

Irini Fundulaki, Val Tannen, Christoph Bussler

E-bok

2005

739 kr

Data Integration in the Life Sciences

Sarah Cohen-Boulakia, Val Tannen

Häftad, 2007

572 kr

Web Technologies and Applications

Xiaoyong Du, Wenfei Fan, Jianmin Wang, Zhiyong Peng, Mohamed A. Sharaf

Häftad, 2011

572 kr

Intelligence Science VI

Zhongzhi Shi, Wenfei Fan, Gang Li

Inbunden, 2026

915 kr

In Search of Elegance in the Theory and Practice of Computation

Essays dedicated to Peter Buneman

AvVal Tannen,Limsoon Wong

Häftad, Engelska, 2013

Del i serien Lecture Notes in Computer Science

572 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

Produktinformation

Utgivningsdatum:2013-10-08
Mått:155 x 235 x 32 mm
Vikt:873 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:569
Upplaga:2013
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783642416590

Utforska kategorier

Innehållsförteckning

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.