《Relation Algebras》是2006年7月Elsevier Science Ltd出版的圖書，作者是Maddux, Roger。
基本介紹
- 中文名：Relation Algebras
- 作者：Maddux, Roger
- 出版社：Elsevier Science Ltd
- ISBN：9780444520135
內容簡介
The modern theory of algebras of binary relations, reformulated by Tarski as an abstract, algebraic, equational theory of relation algebras, has considerable mathematical significance, with applications in various fields: e.g., in computer science - databases, specification theory, AI - and in anthropology, economics, physics, and philosophical logic. This comprehensive treatment of the theory of relation algebras and the calculus of relations is the first devoted to a systematic development of the subject. It presents historical milestones from a modern perspective. It is a careful, thorough, detailed guide to understanding relation algebras. It provides a framework and unified perspective of the subject.
