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

说明书

发明背景

在计算机语言的领域中，传统上有许多不同的语言类别。例如，许多编程语言目的是为大多数最终用户编程目标提供一般的解决方案，但另一方面，查询语言却通常专用于基于对数据库查询的信息挖掘。多年来，已经进行了许多尝试来将查询能力添加到编程语言，但是存在很多困难。

一个这样的困难是大多数现代编程语言是基于面向对象的模型的，该模型允许分层、抽象、模块性、封装和旨在降低编程任务的复杂度的若干其它范例。另一方面，现代数据库很大一部分是关系型数据库，因此查询语言往往是基于关系模型而非面向对象的模型。

另一困难是用于编程语言的开发环境(例如，集成开发环境(IDE))已经进化成向开发者提供非常精密的协助手段，导致没有这种开发环境来编程变得很费劲。一个示例是诸如自动完成实用程序或机制等内联上下文信息。这些自动完成机制在其中类、变量名和其它构造事先定义的面向对象的领域能起很好的作用，但是通常不可用于查询语言，因为对于自动完成所必需的元素类型的类型检查在编译或转换了查询之前是不可用的。此外，查询在完成该查询之前不能被转换，这使得自动完成机制没有实际意义。再者，如果查询表达式是不良地形成的，则编译错误将是晦涩难解的且难以补救。

发明概述

以下提出了所要求保护的主题的简化概述以提供对所要求保护的主题的某些方面的基本理解。本概述并不是对所要求保护的主题的全面综述。它既不旨在标识所要求保护的主题的关键或重要的元素，也不描绘所要求保护的主题的范围。其唯一目的是以简化的形式来介绍所要求保护的主题的一些概念，作为稍后呈现的更为详细的描述的前序部分。

此处所公开并要求保护的主题的一方面包括用于方便表达式中的运算符 之间的元素类型的类型流的计算机实现的技术。运算符可以是，但不限于，查询运算符，并且由此，类型可以贯穿整个查询表达式从一个查询子句流到下一查询子句。

根据所要求保护的主题的一方面，运算符可被映射到相关联的方法调用，并且方法调用可以根据运算符模式来定义。由此，可期望表达式中的任何给定运算符遵循形式化的运算符模式。相应地，算符以及整个表达式的项可以按照所期望的方法调用来表达。可以理解，方法可以是实例方法、静态方法、虚拟方法或扩展方法。

据此，通过方便类型流并约束运算符以遵循运算符模式，此处所公开的体系结构可以对表达式的每一子句递增地推断元素类型。例如，元素类型可以通过将源类型与运算符相组合来确定，并且这可以对表达式的每一连续的子句实时地完成。由此，类型信息可以本地地解析而无需完全转换整个表达式。因此，可以用较不昂贵(在资源利用方面)的方式且更快速地执行元素类型的类型检查，并且元素类型的类型检查可以在表达式的构造期间而非仅在表达式被最终化之后才实现，这可以产生附加的益处。

根据所要求保护的主题的一方面，一个这样的附加益处是可以对于表达式采用自动完成机制。例如，通过在进行中推断元素类型，可提供基于可用类型的上下文信息，这可以帮助表达式构造。

以下描述和附图详细阐明了所要求保护的主题的某些说明性方面。然而，这些方面仅指示了可采用所要求保护的主题的原理的各种方法中的几种，且所要求保护的主题旨在包括所有这些方面及其等效方面。当结合附图考虑以下所要求保护的主题的详细描述时，所要求保护的主题的其它优点和区别特征将变得显而易见。

附图简述

图1是可采用查询模式来方便元素类型的类型流的计算机实现的系统的框图。

图2A示出了对于一示例性查询表达式的非限制性代表性第一查询子句和各种非限制性代表性下一查询子句。

图2B更详细地示出了示例性查询表达式的查询子句以及元素类型的类型流。

图3描绘了具有示例性输入和输出的查询运算符模式的各种非限制性示例。

图4是实时地推断元素类型和/或基于所推断的元素类型递增地提供上下文信息的计算机实现的系统的框图。

图5描绘了定义用于方便查询表达式内的元素类型的类型流的计算机实现的方法的过程的示例性流程图。

图6是可方便可组成查询综合和/或可扩展查询表达式的计算机实现的系统的框图。

图7示出了与从示例性查询表达式的示例性查询子句得到的控制变量的范围有关的示例性描述的框图。

图8描绘了定义用于方便以组成方式构造查询综合的计算机实现的方法的过程的示例性流程图。

图9示出了可用于执行所公开的体系结构的计算机的框图。

图10示出示例性计算环境的示意性框图。

详细描述