Relational methods in computer science

C. Brink, W. Kahl, G. Schmidt (eds.)

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

「Nielsen BookData」より

[目次]

  • I. Introduction.- 1 Background Material.- II. Algebras.- 2 Relation Algebras.- 3 Heterogeneous Relation.- 4 Fork Algebras.- III. Logics.- 5 Relation Algebra and Modal Logics.- 6 Relational Formalisation of Nonclassical Logics.- 7 Linear Logic.- IV. Programs.- 8 Relational Semantics of Functional Programs.- 9 Algorithms from Relational Specifications.- 10 Programs and Datatypes.- 11 Refinement and Demonic Semantics.- 12 Tabular Representations in Relational Documents.- V. Other Application Areas.- 13 Databases.- 14 Logic, Language, and Information.- 15 Natural Language.- Bibliography (compiled by Wolfram Kahl, Thomas Strohlein).- Symbol Table.- Addresses of Contributors.

「Nielsen BookData」より

この本の情報

書名 Relational methods in computer science
著作者等 Kahl Wolfram
Schmidt Gunther
Brink Chris
シリーズ名 Advances in computing science
出版元 Springer
刊行年月 c1997
版表示 Softcover reprint of the original 1st ed. 1997
ページ数 xiv, 272 p.
大きさ 24 cm
ISBN 9783211829714
NCID BA32557412
※クリックでCiNii Booksを表示
言語 英語
出版国 オーストリア
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想