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):

`
Iab
I a b
a I ab
b . I
`

Characters after / or # are comments (up to the end-of-line).

- 2 Relation algebras with 1 symmetric atom
- 7 Relation algebras with 2 symmetric atoms
- 65 Relation algebras with 3 symmetric atoms
- 3 Relation algebras with 1 pair of nonsymmetric atoms
- 37 Relation algebras with 1 symmetric and 1 pair of nonsymmetric atoms
- 83 Relation algebras with 2 nonsymmetric atom
- 1 Sequential algebra with 1 nonconverse atom
- 17 Sequential algebras with 2 nonconverse atoms
- 2 Sequential algebras with 1 symmetric and 1 nonconverse atom
- 3 Sequential algebras with 1 pair of nonsymmetric and 1 nonconverse atom
- 62 Sequential algebras with 1 symmetric and 2 nonconverse atoms
- 81 Sequential algebras with 1 pair of nonsymmetric and 2 nonconverse atoms

Back to the Relation Algebra Homepage

Last update 28-Jan-98.