文件名称：元组关系演算-b样条插值（b-spline interpolation）
文件大小：8.74MB
文件格式：PDF
更新时间：2024-06-30 14:47:11
数据库原理
图 2.3 元组关系演算 2. 域关系演算 域关系演算和元组关系演算是类似的，不同之处是用域变量代替元组变量的每一个分 量。与元组变量不同的是，域变量的变化范围是某个值域而不是一个关系。可以像元组关 系演算一样定义域关系演算的原子公式。域关系演算的原子公式有以下 3种形式： R(x1，x2，⋯，xk)，R是k元关系，每个xi是常量或域变量。R(x1，x2，⋯，xk)表示 由分量x1，x2，⋯，xk组成的元组属性关系R。 xiθyj，其中xi，yj是域变量，θ为算术比较运算符。xiθyj表示xi，yj满足比较关系 θ。 xiθa或aθyj，其中xi，yj是域变量，a为常量，θ为算术比较运算符。该公式表示 xi与常量a或常量a与yj满足比较关系θ。 域关系演算的公式中也可使用∧，∨， ¬等逻辑运算符，还可用(∃ x)和(∀ x)形成新 的公式，但变量 xi是域变量，不是元组变量。 域关系演算表达式是形为{t1，⋯，tk|ψ(t1，⋯，tk)}的表达式，其中ψ(t1，⋯，tk)是关 于*域变量t1，⋯，tk的公式。