Relational Methods in Computer Science by Chris BrinkRelational Methods in Computer Science by Chris Brink

Relational Methods in Computer Science

EditorChris Brink, Wolfram Kahl, Gunther Schmidt

Paperback

Pricing and Purchase Info

$114.32 online 
$116.95 list price
Earn 572 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

The calculus of relations turned into an important conceptual and methodological tool in computer science. The methods presented in this book include questions of relational databases, applications to program specification, resource-conscious linear logic, semantic and refinement consideration, nonclassical logics for reasoning about programs, tabular methods in software construction, algorithm development, linguistic problems, followed by a comprehensive bibliography. The reader gets an overview of the wide-ranging applicability of relational methods in computer science."... While this is a multi-authored volume, the authors have done an excellent job of making it read like a single-authored work ... The book can be viewed as a set of snapshots of a family of research and researchers at one point in time. If you are interested in relational problems, I can think of no better introduction ..."Computing Reviews
Title:Relational Methods in Computer ScienceFormat:PaperbackDimensions:287 pages, 9.25 × 6.1 × 0.03 inPublisher:Springer Vienna

The following ISBNs are associated with this title:

ISBN - 10:3211829717

ISBN - 13:9783211829714

Look for similar items by category:

Reviews

Table of Contents

. Introduction: Background Material.. Algebras: Relation Algebras. - Heterogeneous Relation Algebra. - Fork Algebras.. Logics: Relation Algebra and Modal Logics. - Relational Formalisation of Nonclassical Logics. - Linear Logic.. Programs: Relational Semantics of Functional Programs. - Algorithms from Relational Specifications. - Programs and Datatypes. - Refinement and Demonic Semantics. - Tabular Representations in Relational Documents.. Other Applications Areas: Databases. - Logic, Language, and Information. - Natural Language.