Relational Methods in Computer Science (Advances in Computing Sciences)
Contributors: Chris Brink (Editor); Wolfram Kahl (Editor); Gunther Schmidt (Editor)
Edition: 1 edition
Publisher: Springer
Published: April 14, 1997
Language: eng
Format: Paperback
Number of pages: 272
ISBN-13: 9783211829714
Subjects: Computer architecture & logic design; Databases & data structures; Software engineering; Logic Design; Computers; Algorithms (Computer Programming); Relational Databases; Computers - General Information; Logic; Computer Books: General; General; Computer Science; Computers / Computer Science; Database Management - General
Description: 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.