15、关系运算符的通用扩展：U_ 系列运算符解析

关系运算符的通用扩展：U_ 系列运算符解析

1. 背景与风格选择

在处理关系运算符时，为了统一风格，我们决定在所有情况下采用带有 USING 前缀规范的形式。这样做至少能确保所有 “U_” 运算符大致遵循相同的语法风格，并且这种风格能自然地扩展到后续章节将引入和讨论的某些 “U_” 构造。

2. 限制（Restrict）和投影（Project）

2.1 限制操作（U_restrict）

• 定义 ：表达式 USING ( ACL ) ~ R WHERE p 是 PACK ( ( UNPACK R ON (ACL) ) WHERE p ) ON (ACL) 的简写。其中， ACL 中提及的每个属性必须是 R 的属性，并且必须是某种区间类型。
• 示例 ：

USING DURING ~ S DURING WHERE INTERVAL DATE ( [ dO4 ~ dO4 ] ) = DURING

与常规限制操作 S DURING WHERE INTERVAL DATE ( [ dO4 ~ dO4 ] ) : DURING 不同。假设关系变量 S_DURING 当前包含以下两个元组：
| S# | D