【数据库系统】第五讲 关系演算

5.1 关系元组演算

1、概述

例如：R∪S = { r | r∈R ∨ r∈S}
R - S = { r | r∈R ∧ r∈S}

• 关系演算是以数理逻辑中的谓词演算为基础的
• 关系演算是描述关系运算的另一种思维方式
• SQL语言是继承了关系代数和关系演算各自的优点所形成

按照谓词变量的不同，可分为关系元组演算和关系域演算

• 关系元组演算是以元组变量作为谓词变量的基本对象
• 关系域演算是以域变量作为谓词变量的基本对象

2、关系元组演算公式的形式

3、关系元组演算的完整定义

5.2 原子公式及与、或、非

1、原子公式

P(t)可以是如下三种形式之一的原子公式

2、之与、或、非运算符

3、运算符的次序及语义正确性

5.3 存在量词与全称量词