关系数据模型与语言教学.pptVIP

(?t): “存在这样的t”，或 “至少有这样一个t”。 (?t)(?): “若有一个t使 (?t)(?) 为真，则 (?t)(?) 为真， 否则为假”。 (?t)(?) ? ?(t1) ? ?(t2) ? ··· ? ?(tk) 第三十一页，共六十二页。 3）?公式中的运算符运算优先次序 先括号； 算术比较运算符； 量词（?、?）； 逻辑运算符（?、?、?） 元组关系演算公式:是由它的原子公式经有限次的算术比较运算、逻辑运算、量词运算而形成的复合公式。 4）举例 第三十二页，共六十二页。 1 a 1 7 f 8 9 e 9 0 c 5 3 a 5 4 c 4 2 b 0 第三十三页，共六十二页。 求: r1={t? r（t）? ?s（t）}； r2={t? r（t）? t[2]=a}； r3={t?（?u）（r（t）?s（u）?t[1]?u[3]? t[2]? b ? ?； r4={t?（?u）（r（u）? t[1