Relational Methods for Computer Science Applications
Published on 26. February 2001
Book
Hardback
XIII, 297 pages
978-3-7908-1365-4 (ISBN)
Description
This volume addresses all current aspects of relational methods and their applications in computer science. It presents a broad variety of fields and issues in which theories of relations provide conceptual or technical tools. The contributions address such subjects as relational methods in programming, relational constraints, relational methods in linguistics and spatial reasoning, relational modelling of uncertainty. All contributions provide the readers with new and original developments in the respective fields. The reader thus gets an interdisciplinary spectrum of the state of the art of relational methods and implementation-oriented solutions of problems related to these areas.
More details
Series
Language
English
Place of publication
Heidelberg
Germany
Target group
Professional and scholarly
Illustrations
3
13 s/w Tabellen, 3 s/w Abbildungen
3 black & white illustrations, 13 black & white tables, biography
Dimensions
Height: 23.5 cm
Width: 15.5 cm
Weight
562 gr
ISBN-13
978-3-7908-1365-4 (9783790813654)
DOI
10.1007/978-3-7908-1828-4
Schweitzer Classification
Other editions
Additional editions
Ewa Orlowska | Andrzej Szalas
Relational Methods for Computer Science Applications
Book
08/2012
Physica
€53.49
Shipment within 7-9 days
Content
Relations in Programming: J. Desharnais, R. Khédri, A. Mili: Interpretation of Tabular Expressions Using Arrays of Relations.- B. Dwyer: Translating Relational Programs into Prolog.- M.F. Frias, G.A. Baum, A.M. Haeberer: A Calculus for Program Contstruction Based on Fork Algebras, Design Strategies and Generic Algorithms.- M. Winter, P. Kempf: Processes as Relations. Relational Constraints: W. MacCaull: A Tableaux Procedure for the Implication Problem for Association Rules.- J. Kachniarz, A. Szalas: On a Static Verification of Integrity Constraints in Relational Databases.- Relations in Linguistics and Spatial Reasoning: I. Düntsch: Contact Relation Algebras.- J. Lambek: Relations Old and New.- M. Szczerba: Relational Models for the Nonassociative Lambek Calculus.- Relations and Uncertainty: S. Demri: Coping with Semilattices of Relations in Logics with Relative Accessibility Relations.- B. Konikowska, E. Orlowska: A Relational Formalisation of a Generic Many-Valued Modal Logic.- E. San Juan, L. Iturrioz: An Application of Standard BAO Theory to Some Abstract Information Algebras.- Theories of Relations: L. Gordeev: Proof Systems in Relation Algebra.- R. Hirsch, I. Hodkinson: Connections Between Cylindric Algebras and Relation Algebras.- Y. Kawahara: Lattices in Dedekind Categories.- Generalizations of Theories of Relations: I. Düntsch, E. Orlowska: Beyond Modalities: Sufficiency and Mixed Algebras.- A. Wolinski: Cylindric Algebras for Partial Relational Systems. Quasicylindric Algebras.