半连接

半连接是类似于自然连接的写为R ? S的连接，这里的R和S是关系。^[2]半连接的结果只是在S中有在公共属性名字上相等的元组所有的R中的元组

http://zh.wikipedia.org/wiki/%E5%85%B3%E7%B3%BB%E4%BB%A3%E6%95%B0_%28%E6%95%B0%E6%8D%AE%E5%BA%93%29#.E5.8D.8A.E8.BF.9E.E6.8E.A5_.28.E2.8B.89.29.28.E2.8B.8A.29

两个关系R和S的半连接运算是在关系R和S的自然连接运算的基础之上再作一次投影运算，投影的属性是半连接运算左算子的属性。R∝S可以形式化地表示为：R∝S = π_R(R∞S)

半连接： 当一张表在另一张表找到匹配的记录之后，半连接（semi-jion）返回第一张表中的记录。

半连接通常使用IN  或 EXISTS  any作为连接条件。