These lists are ascii files that can be read by a suitable program. The format for each algebra is as follows:
a list of atoms (one character each)
followed by an n-by-n operation table listing in the ij-th entry the atoms that are below the product of the i-th and j-th atom. A period (.) indicates that the product is empty, and spaces are used to seperate the n-by-n strings.
e.g. a 3-atom structure (which is neither a relation algebra nor a sequential algebra but has an identity atom I):
I a b
a I ab
b . I
Characters after / or # are comments (up to the end-of-line).
Back to the Relation Algebra Homepage
Last update 28-Jan-98.