您的位置: 首页 > 文章 > 数据库 第五讲（含习题）未完结 数据库 第五讲（含习题）未完结 分类: 文章 • 2024-07-30 14:28:40 关系元组演算 关系演算以逻辑谓词演算为基础 关系演算可分为关系元组演算和关系域演算 （1）关系元组演算以元组变量作为谓词变量的基本对象 （2）关系域演算以域变量作为谓词变量的基本对象 元组演算公式的基本形式： P(t)的递归定义： （1）原子公式 （2）P是公式，非P是公式 （3）公式的与、或也是公式 （4）存在量词、全称量词 （5）运算符优先级： （6）公式只限于以上形式 元组演算公示的运用 存在量词与全称量词 存在量词、全称量词：起到验证的作用
