skip to content
In search of elegance in the theory and practice of computation : essays dedicated to Peter Buneman Preview this item
ClosePreview this item
Checking...

In search of elegance in the theory and practice of computation : essays dedicated to Peter Buneman

Author: Peter Buneman; Val Tannen
Publisher: Heidelberg : Springer, 2013.
Series: Lecture notes in computer science, 8000.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Database:WorldCat
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.
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Ebook
Additional Physical Format: Printed edition:
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Peter Buneman; Val Tannen
ISBN: 9783642416606 3642416608 3642416594 9783642416590
OCLC Number: 865072410
Notes: Includes author index.
Description: 1 online resource (xii, 569 pages) : illustrations (some color).
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.
Series Title: Lecture notes in computer science, 8000.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Responsibility: Val Tannen ... [and 5 more] (eds.).

Abstract:

This Festschrift volume, published in honour of Peter Buneman, contains contributions written by some of his colleagues, former students, and friends. The articles presented herein belong to some of  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/865072410> # In search of elegance in the theory and practice of computation : essays dedicated to Peter Buneman
    a schema:MediaObject, schema:CreativeWork, schema:Book ;
   library:oclcnum "865072410" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/1437224067#Topic/programming_languages_compilers_interpreters> ; # Programming Languages, Compilers, Interpreters
   schema:about <http://experiment.worldcat.org/entity/work/data/1437224067#Topic/mathematics> ; # Mathematics
   schema:about <http://id.worldcat.org/fast/871991> ; # Computational complexity
   schema:about <http://experiment.worldcat.org/entity/work/data/1437224067#Topic/database_management> ; # Database Management
   schema:about <http://experiment.worldcat.org/entity/work/data/1437224067#Topic/computer_science> ; # Computer Science
   schema:about <http://experiment.worldcat.org/entity/work/data/1437224067#Topic/logics_and_meanings_of_programs> ; # Logics and Meanings of Programs
   schema:about <http://id.worldcat.org/fast/872460> ; # Computer science--Mathematics
   schema:about <http://dewey.info/class/004.0151/e23/> ;
   schema:about <http://id.loc.gov/authorities/subjects/sh85042295> ; # Computer science--Mathematics
   schema:bookFormat schema:EBook ;
   schema:contributor <http://viaf.org/viaf/110045336> ; # Peter Buneman
   schema:datePublished "2013" ;
   schema:description "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."@en ;
   schema:editor <http://viaf.org/viaf/106580981> ; # Val Tannen
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1437224067> ;
   schema:genre "Ebook"@en ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1437224067#Series/lncs_sublibrary> ; # LNCS sublibrary.
   schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1437224067#Series/lncs_sublibrary_sl_1_theoretical_computer_science_and_general_issues> ; # LNCS sublibrary. SL 1, Theoretical computer science and general issues
   schema:isSimilarTo <http://worldcat.org/entity/work/data/1437224067#CreativeWork/> ;
   schema:name "In search of elegance in the theory and practice of computation : essays dedicated to Peter Buneman"@en ;
   schema:productID "865072410" ;
   schema:url <https://login.proxy.lib.strath.ac.uk/login?url=http://link.springer.com/10.1007/978-3-642-41660-6> ;
   schema:url <http://dx.doi.org/10.1007/978-3-642-41660-6> ;
   schema:url <http://libproxy.uwinnipeg.ca/login?url=http://dx.doi.org/10.1007/978-3-642-41660-6> ;
   schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-642-41659-0> ;
   schema:url <http://public.eblib.com/choice/PublicFullRecord.aspx?p=3093195> ;
   schema:workExample <http://worldcat.org/isbn/9783642416606> ;
   schema:workExample <http://worldcat.org/isbn/9783642416590> ;
   schema:workExample <http://dx.doi.org/10.1007/978-3-642-41660-6> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/865072410> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1437224067#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/865072410> ; # In search of elegance in the theory and practice of computation : essays dedicated to Peter Buneman
   schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/1437224067#Series/lncs_sublibrary_sl_1_theoretical_computer_science_and_general_issues> # LNCS sublibrary. SL 1, Theoretical computer science and general issues
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/865072410> ; # In search of elegance in the theory and practice of computation : essays dedicated to Peter Buneman
   schema:name "LNCS sublibrary. SL 1, Theoretical computer science and general issues" ;
    .

<http://experiment.worldcat.org/entity/work/data/1437224067#Topic/database_management> # Database Management
    a schema:Intangible ;
   schema:name "Database Management"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1437224067#Topic/logics_and_meanings_of_programs> # Logics and Meanings of Programs
    a schema:Intangible ;
   schema:name "Logics and Meanings of Programs"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1437224067#Topic/programming_languages_compilers_interpreters> # Programming Languages, Compilers, Interpreters
    a schema:Intangible ;
   schema:name "Programming Languages, Compilers, Interpreters"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85042295> # Computer science--Mathematics
    a schema:Intangible ;
   schema:name "Computer science--Mathematics"@en ;
    .

<http://id.worldcat.org/fast/871991> # Computational complexity
    a schema:Intangible ;
   schema:name "Computational complexity"@en ;
    .

<http://id.worldcat.org/fast/872460> # Computer science--Mathematics
    a schema:Intangible ;
   schema:name "Computer science--Mathematics"@en ;
    .

<http://viaf.org/viaf/106580981> # Val Tannen
    a schema:Person ;
   schema:birthDate "1953" ;
   schema:familyName "Tannen" ;
   schema:givenName "Val" ;
   schema:name "Val Tannen" ;
    .

<http://viaf.org/viaf/110045336> # Peter Buneman
    a schema:Person ;
   schema:birthDate "1943" ;
   schema:familyName "Buneman" ;
   schema:givenName "Peter" ;
   schema:name "Peter Buneman" ;
    .

<http://worldcat.org/entity/work/data/1437224067#CreativeWork/>
    a schema:CreativeWork ;
   schema:description "Printed edition:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/865072410> ; # In search of elegance in the theory and practice of computation : essays dedicated to Peter Buneman
    .

<http://worldcat.org/isbn/9783642416590>
    a schema:ProductModel ;
   schema:isbn "3642416594" ;
   schema:isbn "9783642416590" ;
    .

<http://worldcat.org/isbn/9783642416606>
    a schema:ProductModel ;
   schema:isbn "3642416608" ;
   schema:isbn "9783642416606" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/865072410> ; # In search of elegance in the theory and practice of computation : essays dedicated to Peter Buneman
   schema:issn "0302-9743" ;
   schema:name "Lecture notes in computer science ;" ;
   schema:name "Lecture Notes in Computer Science," ;
    .

<http://www.worldcat.org/title/-/oclc/865072410>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/865072410> ; # In search of elegance in the theory and practice of computation : essays dedicated to Peter Buneman
   schema:dateModified "2017-09-03" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.