关系模型之关系演算

一、关系元组演算

1、关系元组演算公式的基本形式 ：{ t | P(t) }

其中 t 是元组变量， P(t) 为元组关系演算公式，简称公式。 它由原子公式和运算符组成。P(t)运算符优先次序：括弧;θ; ∃; ∀; ￢;∧;v)

2、三种形式的原子公式

1. t ∈ R ：t 是关系 R 中的一个元组，例如： { t | t∈ Student}
2. s[A] θ c