Lists of small Relation and Sequential algebras

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.