1. F. Bancillon, “On the completeness of query language for relational databases,” Lect. Notes Comput. Sci., 64, 112–123 (1978).
2. E. Beniaminov, “Galois theory of complete relational subalgebras of algebras of relations, logical structures, symmetry,” NTI, Ser. 2, 237–261 (1980).
3. A. Bulatov and P. Jeavons, “An algebraic approach to multi-sorted constraints,” Proc. CP’03, to appear (2004).
4. B. Ganter and G. Mineau, “Ontology, metadata, and semiotics,” in: Lect. Notes AI, 1867, Springer-Verlag (2000), pp. 55–81.
5. P. R. Halmos, Algebraic Logic New York (1969).