Hello:

I am interested in decidable fragments of the equational
theory of relational algebras. The full theory is undecidable.
See the reference below.

An Undecidability Result for Relational Algebras
Wolfgang Schonfeld
The Journal of Symbolic Logic, Volume 44, Number 1, March 1979

Please send me e-mail.

Thanks

Somesh