元组变量表示在指定关系范围内的变化,用于:

  • 简化关系名:使用短元组变量替代长关系名。
  • 量词操作条件:定义元组变量格式为:RANGE 关系名 变量名。

每个关系可设置多个元组变量。