Book Review

摘要

Relation and cylindric algebras lie in the core of the modern computer science and mathematical logic. They present a mathematical base of modern databases and SQL language. Also many other calculi, such as Lambek calculus and some modal logics, can be embedded into relation algebras. And it is not surprising, since cylindric and relation algebras are algebraic counterparts of classical first-order logic.