二层单准关系数据库(二层单准知识库)

摘要

本文建立了互逆主义集合论,包括零层、一层和二层集合论.本文指出关系数据库可以认为是建立在互逆主义一层集合论之上.然后在互逆主义二层集合论的基础上建立二层单准关系数据库.具体内容包括如何用二维表这种唯一的数据结构来表示单经数联系(即二层关系),如何用单经数联系代数(即二层关系代数)对表进行操作,如何使每个表都具有主码,如何满足实体完整性和参照完整性约束,如何使每个表无冗余,使它们满足BC范式.在叙述二层单准关系数据库理论时,本文以数学中的数系为例.该数据库可用于数学和所有经验科学中的定理与定律查询.此前的所有数据库、演绎数据库、知识库都是一层的,即它们都是用来处理事实的,而二层单准关系数据库是用来处理数学定理和经验定律的.