Relational Methods for Computer Science Applications

312 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

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.

• Reihe: Studies in Fuzziness and Soft Computing
• Themen: Informatik und Informationstechnologie Informatik Künstliche Intelligenz (KI)
• ISBN: 9783662003626
• Sprache: Englisch
• Erscheinungsdatum: 13.08.2012
• Größe: 235 x 155 mm
• Verlag: Physica
• Herausgegeben von: Ewa Orlowska, Andrzej Szalas