Relational Methods for Computer Science Applications - Brossura

Brossura

ISBN 10: 3662003619 ISBN 13: 9783662003619

Casa editrice: Physica, 2012

Riassunto

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.

Dettagli dell'edizione

• Editore: Physica
• Data di pubblicazione: 2012
• Lingua: Inglese
• ISBN 10: 3662003619
• ISBN 13: 9783662003619
• Rilegatura: Copertina flessibile
• Numero di pagine: 312
• Redattore: Orlowska Ewa, Szalas Andrzej
• Contatto del produttore: non disponibile
• Persona responsabile: non disponibile