Multi-relations in Z - A cross between multi-sets and binary relations

Hayes I. (1992) Multi-relations in Z - A cross between multi-sets and binary relations. Acta Informatica, 29 1: 33-62. doi:10.1007/BF01178565

Author Hayes I.
Title Multi-relations in Z - A cross between multi-sets and binary relations
Journal name Acta Informatica   Check publisher's open access policy
ISSN 0001-5903
Publication date 1992-01-01
Sub-type Article (original research)
DOI 10.1007/BF01178565
Volume 29
Issue 1
Start page 33
End page 62
Total pages 30
Publisher Springer-Verlag
Subject 1710 Information Systems
Abstract Both the theories of binary relations and multi-sets (or bags) in Z have been usefully applied to software specification and development. In this paper we examine a useful theory-multi-relations-which is a cross between these two theories. One way of viewing relations is as sets of pairs. Here, by analogy, we view multi-relations as multi-sets of pairs, and we define multirelation equivalents of most of the traditional operators defined on binary relations. Multi-relations can also be viewed as graphs or two-dimensional matrices (with indices over arbitrary sets). The use of multi-relations is illustrated by specifying a bill-of-materials system. This provides a good example of the paradigm of building a suitable mathematical theory first and then developing a specification in terms of the theory.
Q-Index Code C1
Q-Index Status Provisional Code
Institutional Status Unknown

Document type: Journal Article
Sub-type: Article (original research)
Collections: Scopus Import
Scopus Import - Archived
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 1 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 5 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Created: Tue, 26 Jul 2016, 13:23:26 EST by System User