Relational Methods for Computer Science Applications

• Corporate Author: SpringerLink (Online service)
• Other Authors: Orlowska, Ewa (Editor, http://id.loc.gov/vocabulary/relators/edt), Szalas, Andrzej (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Heidelberg : Physica-Verlag HD : Imprint: Physica, 2001.
• Edition: 1st ed. 2001.
• Series: Studies in Fuzziness and Soft Computing, 65
• Subjects: Arithmetic and logic units, Computer.; Computer logic.; Artificial intelligence.; Arithmetic and Logic Structures.; Logics and Meanings of Programs.; Artificial Intelligence.

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 programm...

Table of Contents:

• Interpretation of Tabular Expressions Using Arrays of Relations
• Translating Relational Programs into Prolog
• A Calculus for Program Contstruction Based on Fork Algebras, Design Strategies and Generic Algorithms
• Processes as Relations
• A Tableaux Procedure for the Implication Problem for Association Rules
• On a Static Verification of Integrity Constraints in Relational Databases
• Contact Relation Algebras
• Relations Old and New
• Relational Models for the Nonassociative Lambek Calculus
• Coping with Semilattices of Relations in Logics with Relative Accessibility Relations
• A Relational Formalisation of a Generic Many-Valued Modal Logic
• An Application of Standard BAO Theory to Some Abstract Information Algebras
• Proof Systems in Relation Algebra
• Connections Between Cylindric Algebras and Relation Algebras
• Lattices in Dedekind Categories
• Beyond Modalities: Sufficiency and Mixed Algebras
• Cylindric Algebras for Partial Relational Systems. Quasicylindric Algebras.