公开(公告)号：US20070288429A1

公开(公告)日：2007-12-13

申请号：US11452769

申请日：2006-06-13

申请人： Zhen Hua Liu ,  Muralidhar Krishnaprasad

发明人： Zhen Hua Liu ,  Muralidhar Krishnaprasad

IPC分类号： G06F17/30 ,  G06F7/00

CPC分类号： G06F17/30935 ,  G06F8/437

摘要： A method for optimizing functions is described. A query including an invocation of a function is received. A function declaration indicates that the function is associated with a first set of datatypes. At compile-time, static type-checking is performed on the query. During the static type-checking, a second set of datatypes is determined for the function. The second set of datatypes includes the datatype of each argument of the function that is specified in the invocation. The query is compiled, where compiling the query includes compiling the function with the second set of datatypes.

摘要翻译： 描述了优化功能的方法。 收到包含函数调用的查询。 函数声明指示该函数与第一组数据类型相关联。 在编译时，对查询执行静态类型检查。 在静态类型检查期间，为函数确定第二组数据类型。 第二组数据类型包括在调用中指定的函数的每个参数的数据类型。 该查询被编译，其中编译查询包括使用第二组数据类型编译该函数。