关系数据理论（relational data model theory），理学-计算机科学技术-计算机应用-信息系统-信息系统设计与开发-数据库系统设计，研究关系数据模型中实体及实体间数据相关和规范化的方法。数据相关是关系数据模型中描述数据之间联系的一类完整性约束条件，通常通过数据之间值的相等与否来体现。数据相关包括函数相关、多值相关、互连相关和连接相关等，最常用的是前两种。关系数据理论的研究以关系数据模型为背景。因关系数据模型可以等价地转换为其他数据模型，故关系数据理论的研究具有普遍意义。关系数据理论中数据相关的理论，用明确的概念来描述和分析数据模型中数据关联这一类特殊的完整性约束。这是形式语义的一种方法，规范化的概念和范式的定义给出了判别模式好坏的准则，使数据库设计有了评价模式的理论依据。模式分解的概念和算法，又为数据库设计提供了辅助设计的工具。关系数据理论不仅是数据库的理论基础，而且是数据库设计的指南和工具。数据相关是语义范畴的概念。但是，为了形式推理的需要，这些数据相关都有严格的形式定义。例如，R（U）是属性集U上的一个关系模式，X、Y是U的子集。