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.