元组演算数据库--元组演算

查了好多资料，发现还是不全，干脆自己整理吧，至少保证在我的做法正确的，以免误导读者，也是给自己做个记载吧！

           在数据库询查数据时，所入输的SQL语句，是一中述描性的语言，即我们只需要告知数据库我们要查找哪些数据，这些数据的征特是什么，而不必告知数据库，怎么找这些数据（即通过什么样的法算，什么样的骤步）。

     

           我们缩写的SQL语句，可以用另一种等价的形式述描出来，就是元组演算。元组演算也是一中系关数据库的询查语言，那么用元组演算到底是什么模样，怎么行进询查呢？

     

    首先看最基本的元组演算公式：

    

     

    元组表现系关表中的记载，那么元组变量就是系关表中的某一条记载。

    元组系关演算公式就是表现的系关表。那么看过了理论以后，这个公式详细抒发的是什么意思呢？看一张数据表：

                                            

 

           这是一张Student表，用元组演算抒发式表现出来，是这样 {t|Student(t)}，用t表现某条记载，用Student(t)表现t是系关表Studnet表中的一条记载。

     

           截图中的定义提到的原子公式有三类，分别是：首先第一类，下面提到的{t|Student(t)},用于述描元组是属于哪张系关表（数据表）。

    每日一道理
青春是用意志的血滴和拼搏的汗水酿成的琼浆——历久弥香；青春是用不凋的希望和不灭的向往编织的彩虹——绚丽辉煌；青春是用永恒的执著和顽强的韧劲筑起的一道铜墙铁壁——固若金汤。

    

     

           第二类,两个元组中分量的较比（我们已道知元组是系关表的一条记载，元组中分量是记载中的一个属性的值），也就是较比两个记载中某个属性。

    

     

    第三类，元组中分量和量常的较比，拿元组中的某个属性和量常较比。

    

 

    元组演算公式之间也有交、并、非的系关，称为原子演算公式的递归定义，长用于多条件询查：

    

 

    还有另外的两条则规，这两条则规将结合演算公式的递归定义起一用使，从而行进对所要查找数据的述描。

    

 

    这是对元组演算从定义角度的述描，下一篇客博将比对元组演算和系关代数比对的角度，握掌元组演算的际实用应。

 

 

文章结束给大家分享下程序员的一些笑话语录： PC软件体积大，是因为一个PC软件功能往往较多，能够满足你一个方面的需求，而一个iphone软件往往没几行代码，干一件很小的事情，自然需要的软件就多。就像吃西瓜和吃瓜子的来比数目，单位不同啊。