Relational Lattice is documented in several publications http://vadimtropashko.wordpress.com/relational-lattice/ QBQL is relational lattice engine written in java that allows to create a database of relations, evaluate relational expressions, and check axioms against a database. It has evolved...