元组关系演算语言ALPHA——GET检索操作

 

元组关系演算以元组变量作为谓词变元的基本对象，ALPHA是一种典型的元组关系演算语言。

ALPHA语言主要有GET(查询功能),PUT(插入功能)，HOLD（读取操作），UPDATE（更新功能），DELETE（删除功能），DROP（全部删除）

　　　　　　　　　　　　基本格式为：　　操作语句　　工作空间名（表达式）：操作条件

（1）GET  检索语句(查询)

[例1]  查询所有被选修的课程号码。（不带条件的查询）

GET  W  (SC.Cno) 　　W 为工作空间名  SC.Cno是操作的对象也就是要查询显示的内容　　这里没有限定条件

 

(2) 限定的检索(即带条件的检索)

[例2]查询信息系(IS) 年龄小于20岁的学号和年龄。

 GET  W  (Student.Sno，Student.Sage): Student.Sdept='IS'∧student.Sage<20

(3) 带排序的检索

[例3]  查询计算机科学系(CS)学生的学号、年龄，结果按年龄降序排序。

GET  W  (Student.Sno，Student.Sage): Student.Sdept='CS' DOWN Student.Sage

　　　　　　 UP升序  DOWN降序　　

(4) 指定返回元组的条数的检索

[例4]  查询信息系年龄最大的三个学生的学号及其年龄，结果按年龄降序排序。

GET  W (3)  (Student.Sno，Student.Sage): Student.Sdept='IS' DOWN Student.Sage

(5) 用元组变量的检索

定义元组变量 
格式：    RANGE  关系名  变量名

    RANGE  STUDENT  X　　相当于给关系表取了个别名X，即X代表student表

(6) 用存在量词的检索

[例8]  查询选修2号课程的学生名字。

   RANGE  SC  X
   GET W (Student.Sname): ∃X (X.Sno=Student.Sno∧X.Cno=2)

∃代表存在这么一条记录，符合条件