关系演算

关系演算是以数理逻辑中的谓词演算为基础的。按谓词变元的不同，关系演算可分为元组关系演算和域关系演算。 一、元组关系演算语言ALPHA 元组关系演算以元组变量作为谓词变元的基本对象。元组变量是在某一关系范围内变化的，所以也称为范围变量，一个关系可以设多个元组变量。 ALPHA语言主要有GET/PUT/HOLD/UPDATE/DELETE/DROP 6 条语句，语句的基本格式为 操作语句 工作空间名（

>>阅读原文<<