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.