Relational Methods for Computer Science Applications - Softcover

Softcover

ISBN 10: 3662003619 ISBN 13: 9783662003619

Verlag: Physica, 2012

Inhaltsangabe

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.

Details zur Ausgabe

• Verlag: Physica
• Erscheinungsdatum: 2012
• Sprache: Englisch
• ISBN 10: 3662003619
• ISBN 13: 9783662003619
• Einband: Tapa blanda
• Anzahl der Seiten: 312
• Herausgeber: Orlowska Ewa, Szalas Andrzej
• Kontakt zum Hersteller: Nicht verfügbar