Description |
1 online resource (xii, 569 pages) : illustrations (some color) |
Series |
Lecture Notes in Computer Science, 0302-9743 ; 8000 |
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
|
Lecture notes in computer science ; 8000. 0302-9743
|
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
|
Contents |
Models for Data-Centric Workflows / Serge Abiteboul and Victor Vianu -- Relational Databases and Bell's Theorem / Samson Abramsky -- High-Level Rules for Integration and Analysis of Data: New Challenges / Bogdan Alexe and Douglas Burdick -- A New Framework for Designing Schema Mappings / Bogdan Alexe and Wang-Chiew Tan -- User Trust and Judgments in a Curated Database with Explicit Provenance / David W. Archer and Lois M.L. Delcambre -- An Abstract, Reusable, and Extensible Programming Language Design Architecture / Hassan Aït-Kaci -- A Discussion on Pricing Relational Data / Magdalena Balazinska and Bill Howe -- Tractable Reasoning in Description Logics with Functionality Constraints / Andrea Calì, Georg Gottlob and Andreas Pieris -- Toward a Theory of Self-explaining Computation / James Cheney, Umut A. Acar and Roly Perera |
|
To Show or Not to Show in Workflow Provenance / Susan B. Davidson, Sanjeev Khanna and Tova Milo -- Provenance-Directed Chase & Backchase / Alin Deutsch and Richard Hull -- Data Quality Problems beyond Consistency and Deduplication / Wenfei Fan, Floris Geerts and Shuai Ma -- Hitting Buneman Circles / Michael Paul Fourman -- Looking at the World Thru Colored Glasses / Floris Geerts and Anastasios Kementsietsidis -- Static Analysis and Query Answering for Incomplete Data Trees with Constraints / Amélie Gheerbra -- Using SQL for Efficient Generation and Querying of Provenance Information / Boris Glavic and Renée J. Miller -- Bounds and Algorithms for Joins via Fractional Edge Covers / Martin Grohe -- Incremental Data Fusion Based on Provenance Information / Carmem Satie Hara -- Provenance for Linked Data / Grigoris Karvounarakis and Irini Fundulaki |
|
First-Order Provenance Games / Sven Köhler, Bertram Ludäscher and Daniel Zinn-- Querying an Integrated Complex-Object Dataflow Database / Natalia Kwasnikowska and Jan Van den Bussche -- Types, Functional Programming and Atomic Transactions in Hardware Design / Rishiyur S. Nikhil -- Record Polymorphism: Its Development and Applications / Atsushi Ohori -- A Calculus of Chemical Systems / Gordon D. Plotkin -- Schemaless Semistructured Data Revisited / Keishi Tajima -- Provenance Propagation in Complex Queries / Val Tannen -- Well-Defined NRC Queries Can Be Typed / Jan Van den Bussche and Stijn Vansummeren -- Nine Years with Peter Buneman / Stratis D. Viglas -- Modal Logic for Preference Based on Reasons / Daniel Osherson and Scott Weinstein -- The Dichotomous Intensional Expressive Power of the Nested Relational Calculus with Powerset / Limsoon Wong -- Provenance in a Modifiable Data Set / Jing Zhang and H.V. Jagadish |
Summary |
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 |
Analysis |
computerwetenschappen |
|
computer sciences |
|
programmeertalen |
|
programming languages |
|
databasebeheer |
|
database management |
|
Information and Communication Technology (General) |
|
Informatie- en communicatietechnologie (algemeen) |
Notes |
Includes author index |
|
English |
|
Online resource; title from PDF title page (SpringerLink, viewed November 4, 2013) |
Subject |
Computer science -- Mathematics.
|
|
Computational complexity.
|
|
Mathematics.
|
|
Mathematics
|
|
Mathematics
|
|
Computational complexity
|
|
Computer science -- Mathematics
|
Genre/Form |
Festschriften
|
|
Festschriften.
|
Form |
Electronic book
|
Author |
Buneman, Peter, 1943- honouree.
|
|
Tannen, Val, 1953- editor.
|
ISBN |
9783642416606 |
|
3642416608 |
|
3642416594 |
|
9783642416590 |
|