Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/90202
Título: | On difunctions |
Autor(es): | Backhouse, Roland Oliveira, José Nuno Fonseca |
Palavras-chave: | Calculational method Difunction Relation algebra |
Data: | 2023 |
Editora: | Elsevier 1 |
Revista: | Journal of Logical and Algebraic Methods in Programming |
Citação: | Backhouse, R., & Oliveira, J. N. (2023, August). On difunctions. Journal of Logical and Algebraic Methods in Programming. Elsevier BV. http://doi.org/10.1016/j.jlamp.2023.100878 |
Resumo(s): | 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 current paper is to give an account of difunction theory in relation algebra, with the aim of making the topic more mainstream. As is common with many important concepts, there are several different but equivalent characterisations of difunctionality, each with its own strength and practical significance. This paper compares different proofs of the equivalence of the characterisations. A well-known property is that a difunction is a set of completely disjoint rectangles. This property suggests the introduction of the (general) notion of the “core” of a relation; we use this notion to give a novel and, we believe, illuminating characterisation of difunctionality as a bijection between the classes of certain partial equivalence relations. |
Tipo: | Artigo |
URI: | https://hdl.handle.net/1822/90202 |
DOI: | 10.1016/j.jlamp.2023.100878 |
ISSN: | 2352-2208 |
Versão da editora: | https://www.sciencedirect.com/science/article/pii/S2352220823000329 |
Arbitragem científica: | yes |
Acesso: | Acesso restrito UMinho |
Aparece nas coleções: | HASLab - Artigos em revistas internacionais |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
1-s2.0-S2352220823000329-main.pdf Acesso restrito! | 587,29 kB | Adobe PDF | Ver/Abrir |
Este trabalho está licenciado sob uma Licença Creative Commons