Content #
逻辑运算符： \[\neg, \vee, \wedge\]
关系运算 #
投影(Projection) #
\[\pi_A( R)=\{t[A]|t \in R\}\]
选择(Selection) #
\[\sigma_F( R)=\{t|t \in R \wedge F(t)=True\}\]
\(\sigma_{1 \geq 6}( R)\) 表示选取R关系中第1个属性值大于等于第6个属性值的元组。 \(\sigma_{1 \geq ‘6’}( R)\) 表示选取R关系中第1个属性值大于等到6的元组。
连接(Join) #
\(\theta\) 连接 #
从R和S的笛卡尔积中选取属性满足一定条件的元组： \[R \mathop{\bowtie}\limits_{X \theta Y} S=\{t|t=<t^n,t^m> \wedge t^n \in R \wedge t^m \in S \wedge t^n[X] \theta t^m [Y]\}\] \(\theta\) 为比较运算符，X和Y分别为R和S上度数相等且可比的属性组。 $<t^n,t^m>$意为元组 \(t^n\) 和 \(t^m\) 拼接成的一个元组。
\(\theta\) 连接可由笛卡尔积和选取运算导出： \(R \mathop{\bowtie}\limits_{X \theta Y} S=\sigma_{X \theta Y}(R \times S)\)