从关系开始：

Table的严格定义：

域就是：学生表{名字（char(20),学号(int20)）}里面的char20,int20,是用来标记列的数据类型，或者说取值范围的。这个取值范围有一个大小，这个大小就是基数。

就是每种可能都来一遍。

这位更是重量级：关系代数运算：

就是说这两个表其实是一样的，只是数据不同，可以并起来。

能差的前提当然是并相容

con 就是 select , R就是from R ,t就是select的具体部分，后面就是where的内容。

条件可以提前，这个时候全元组都要选

这回不是select *了，这回我只要一部分

注意集合不要重复哦

链接：

这个有地下是谁他的是笛卡尔积。

与自生链接就需要p来变名字，相当于as

地下是等号的是等值连接，就和笛卡尔积之后筛选某某值一样的操作一样，只是更快

自然连接要求两边要有一样的属性组，属性值一样就连在一起。相同的列要去掉一个

组合操作

 

除法是什么？就是让一个通过（这里是☞可以通过）笛卡尔积获得的表 变回原来的样子。我们要看到r的属性(A1A2`````B1B2)和s的属性(B1B2`````)，知道了结果应该是(A1A2````)的样子，现在我们要去除两个部分：一部分是B1B2`````，一部分是多余的元组。怎样知晓那些是多余的呢？先通过 获得去除了不该有的属性的部分，然后获得了可能部分和s组合的各种可能性。其中肯定有很多元组是不可以用的，我们要用它减去，这样剩下来的肯定都是不可以用的元组。再进行

的操作，取出需要的属性，这下剩下的刚好就是我们不想要的元组，还是正确属性款式的，直接 

就好了。

 

 

 在语义上，除法可以这样理解：出发可以塞选出可以保证选出的元组都是“除数的东西我都有”的类型，因为只有这一部分可以经过出发的考验。假如选出的元组中有不满住这个条件的，那他与除数做笛卡尔积就会出现“扛不住的”“除数”这样的组合，这种组合不会出现在被除数里，这就违反了除法的定义了。

外连接就是挂件