[发明专利]允许元素类型的类型流的查询模式

权利要求书

1.一种用于方便元素类型的类型流的计算机实现的方法，包括：

接收查询子句，所述查询子句包括与查询运算符模式相关联的查询运算符、元素类型T和源类型，所述源类型是可查询类型，其中所述查询运算符映射到根据所述查询运算符模式定义的方法调用，所述方法调用表达所述查询运算符，并且其中所述元素类型是作为关于所述源类型的控制变量被引入的，所述控制变量的范围基于所述查询运算符来确定，并且范围中的控制变量能够被传递到下一查询子句；

利用所述源类型和所述查询运算符来确定元素类型；以及

采用前一查询子句的元素类型作为所述利用动作的源类型。

2.如权利要求1所述的方法，其特征在于，所述查询运算符是笛卡尔积形式，并且所述元素类型T是匿名类型，该匿名类型是关于所述源类型的范围中的全部控制变量的聚集。

3.如权利要求1所述的方法，其特征在于，所述查询运算符模式包括被配置成接收一函数作为自变量并返回具有元素类型S的可查询类型的投影或映射查询运算符，该函数包括元素类型T的自变量。

4.如权利要求1所述的方法，其特征在于，所述查询运算符模式包括被配置成接收一函数作为自变量并返回具有元素类型T的可查询类型的过滤或限制查询运算符，该函数包括元素类型T的自变量。

5.如权利要求1所述的方法，其特征在于，所述查询运算符模式包括被配置成接收一函数作为自变量并返回具有元素类型T的已排序类集的排序或定序查询运算符，该函数包括元素类型T的自变量。

6.如权利要求1所述的方法，其特征在于，所述查询运算符模式包括被配置成返回具有元素类型T的可查询类型的重复移除查询运算符。

7.如权利要求1所述的方法，其特征在于，所述查询运算符模式包括被配置成接收一元素类型T为源类型的类集作为自变量，并返回具有元素类型T的可查询类型的集合查询运算符。

8.如权利要求1所述的方法，其特征在于，所述查询运算符模式包括被配置成接收值作为自变量并返回具有元素类型T作为源类型的可查询类型的选择或过滤查询运算符。

9.如权利要求1所述的方法，其特征在于，所述查询运算符模式包括被配置成接收一函数作为自变量并返回具有元素类型T的可查询类型的条件选择或过滤查询运算符，该函数包括元素类型T作为自变量。

10.如权利要求1所述的方法，其特征在于，所述查询运算符模式包括被配置成接收一函数作为自变量并返回数值类型的聚集查询运算符，该函数包括元素类型T的自变量。

11.如权利要求1所述的方法，其特征在于，所述查询运算符模式包括被配置成接收一函数作为自变量并返回具有元素类型S的可查询类型的聚集查询运算符，该函数包括元素类型T的自变量。

12.如权利要求1所述的方法，其特征在于，所述查询运算符模式包括被配置成接收一函数作为自变量并返回可被隐式地转换成布尔值的类型的匹配查询运算符，该函数包括类型T的自变量。

13.如权利要求1所述的方法，其特征在于，所述查询运算符模式包括被配置成接收一函数作为自变量并返回具有元素类型V的可查询类型的联接查询运算符，该函数包括元素类型T的自变量以及元素类型T'的自变量，其中V是散列值。

14.如权利要求1所述的方法，其特征在于，所述查询运算符模式包括被配置成接收一函数作为自变量并返回具有元素类型V的可查询类型的嵌套联接查询运算符，该函数包括元素类型T的自变量以及具有元素类型U的类集的自变量。

15.如权利要求1所述的方法，其特征在于，所述查询运算符模式包括要接收一函数作为自变量并返回具有元素类型V的可查询类型的分组查询运算符，该 函数包括类型K的自变量以及具有类型T的类集的自变量，其中类型K是关键字。

16.如权利要求1所述的方法，其特征在于，还包括基于所述源类型以及与至少一个下一查询子句相关联的查询运算符来实时地推断元素类型。

17.如权利要求1所述的方法，其特征在于，还包括使用所述查询运算符模式来增量式地提供与所述元素类型或源类型的控制变量相关联的上下文反馈。

18.一种用于方便元素类型的类型流的计算机实现的系统，包括：

用于接收查询子句的装置，所述查询子句包括与查询运算符模式相关联的查询运算符、元素类型T和源类型，所述源类型是可查询类型，其中所述查询运算符映射到根据所述查询运算符模式定义的方法调用，所述方法调用表达所述查询运算符，并且其中所述元素类型是作为关于所述源类型的控制变量被引入的，所述控制变量的范围基于所述查询运算符来确定，并且范围中的控制变量能够被传递到下一查询子句；

用于利用所述源类型和所述查询运算符来确定元素类型的装置；以及

用于采用前一查询子句的元素类型作为所述利用动作的源类型的装置。