On difunctions

• Published in: Journal of logical and algebraic methods in programming Vol. 134; p. 100878
• Main Authors: Backhouse, Roland, Oliveira, José Nuno
• Format: Journal Article
• Language: English
• Published: Elsevier Inc 01.08.2023
• Subjects: Calculational method; Difunction; Relation algebra; Relation algebra; Calculational method; Difunction

The notion of a difunction was introduced by Jacques Riguet in 1948. Since then it has played a prominent role in database theory, type theory, program specification and process theory. The theory of difunctions is, however, less known in computing than it perhaps should be. The main purpose of the...