公开(公告)号：US5696973A

公开(公告)日：1997-12-09

申请号：US390886

申请日：1995-02-17

申请人： Rakesh Agrawal ,  Linda Gail DeMichiel ,  Bruce Gilbert Lindsay

发明人： Rakesh Agrawal ,  Linda Gail DeMichiel ,  Bruce Gilbert Lindsay

IPC分类号： G06F9/42 ,  G06F9/45

CPC分类号： G06F8/437 ,  G06F9/4431

摘要： Programming language systems commonly allow for the use of function calls within a body of program source code. Since function names are generally descriptive, it is sometimes the case that two different functions ("function instances") will have the same name, and be distinguishable by having either a different number of arguments ("arity"), or arguments of different types. Both at compile time and at run time, the possibility of error exists if there is a mismatch between the arguments required by a function and the arguments provided to the function by the function call. Methods and related apparatus, for use in programming language systems, are set forth which support compile-time type checking and run-time dispatch for overloaded functions in an environment supporting subtypes with multiple inheritance. At both compile time and run time, the method of the invention takes into consideration the types of all arguments of a function call, to select a proper function instance to execute, for a given function invocation. In accordance with the invention, a precedence ordering is made from among multiple function instances having the same name and arity. Furthermore, the methods contemplated by the invention identify at compile time the set of function instances which might be invoked due to subtype substitutions for the actual arguments. Since type errors on function invocations or variable assignments are usually indicative of a programming error, program reliability can be improved and faults that would otherwise result in run-time errors can be corrected through the use of the invention prior to program deployment.

摘要翻译： 编程语言系统通常允许在程序源代码体内使用函数调用。 由于函数名通常是描述性的，有时两种不同的函数（“函数实例”）将具有相同的名称，并且可以通过使用不同数量的参数（“arity”）或不同类型的参数来区分 。 在编译时和运行时，如果函数所需的参数与通过函数调用提供给函数的参数之间存在不匹配，则存在错误的可能性。 阐述了在编程语言系统中使用的方法和相关设备，其支持在支持具有多重继承的子类型的环境中的重载函数的编译时类型检查和运行时调度。 在编译时和运行时，本发明的方法考虑到函数调用的所有参数的类型，以便为给定的函数调用选择要执行的正确的函数实例。 根据本发明，从具有相同名称和特征的多个功能实例中进行优先级排序。 此外，本发明考虑的方法在编译时识别由于实际参数的子类型替换而可能调用的一组函数实例。 由于功能调用或变量分配上的类型错误通常表示编程错误，因此程序可靠性可以提高，否则会导致运行时错误的故障可以在程序部署之前通过使用本发明来纠正。

公开(公告)号：US5857182A

公开(公告)日：1999-01-05

申请号：US786605

申请日：1997-01-21

申请人： Linda Gail DeMichiel ,  Gene Y. C. Fuh ,  Michelle Mei-Chiou Jou ,  Bruce Gilbert Lindsay ,  Nelson Mendonca Mattos ,  Serge Philippe Rielau ,  Brian Thinh-Vinh Tran

发明人： Linda Gail DeMichiel ,  Gene Y. C. Fuh ,  Michelle Mei-Chiou Jou ,  Bruce Gilbert Lindsay ,  Nelson Mendonca Mattos ,  Serge Philippe Rielau ,  Brian Thinh-Vinh Tran

IPC分类号： G06F17/30

CPC分类号： G06F17/30607 ,  Y10S707/99931 ,  Y10S707/99932 ,  Y10S707/99933 ,  Y10S707/99934 ,  Y10S707/99935 ,  Y10S707/99936 ,  Y10S707/99937 ,  Y10S707/99938

摘要： The system, method, and program of this invention avoids potential write/write conflicts and read/write conflicts when a subcomponent of a composite object (e.g., an ADT) is mutated. The embodiments of this invention define a copy semantic for the mutation function. In one embodiment, a copy function is inserted prior to any mutation function. In a another embodiment, a global compile-time analysis is performed to determine if a write/write or read/write conflict exists; and to eliminate redundant copy constructors if a conflict does exist. In a preferred embodiment, only a local analysis is performed during the parsing phase, thereby avoiding a global compile-time analysis. A mutation safe flag is associated with each parse tree node. A read target leaf parse tree node is set to false while non-leaf parse tree nodes (functions) derive their value from an incoming node, except that constructors and copy constructor functions are always true. Whether or not a copy is made of the composite object (i.e., whether or not a copy constructor is inserted) prior to a mutation is determined according to the setting of the mutation safe flags and according to the following. If a mutation safe flag for a mutation function is false, a copy constructor is inserted for the mutated composite object and the mutation safe flag is set to true. In addition, for update and trigger statements, the mutation safe flag for a mutated target is defaulted to true. Furthermore, related update entries are grouped together and a copy is generated for the common target. The generated copy is used as the common target for all of the mutations caused by the update entries grouped together in order to accumulate all of the desired mutations in a same copy of the composite object.

摘要翻译： 本发明的系统，方法和程序在复合对象（例如，ADT）的子组件被突变时避免潜在的写入/写入冲突和读/写冲突。 本发明的实施例定义了突变功能的复制语义。 在一个实施例中，在任何突变功能之前插入复制功能。 在另一实施例中，执行全局编译时分析以确定是否存在写/写或读/写冲突; 并且如果存在冲突，则消除冗余的拷贝构造函数。 在优选实施例中，在解析阶段仅执行局部分析，从而避免了全局编译时分析。 突变安全标志与每个解析树节点相关联。 读取目标叶解析树节点设置为false，而非叶解析树节点（函数）从传入节点导出其值，除了构造函数和复制构造函数始终为真。 根据突变安全标志的设置，根据以下来确定复制对象（即，是否插入复制构造函数）之前的副本是否被复制。 如果突变功能的突变安全标志为假，则为突变复合对象插入复制构造函数，并将突变安全标志设置为true。 另外，对于更新和触发语句，突变目标的突变安全标志默认为true。 此外，将相关的更新条目分组在一起，并为共同目标生成副本。 生成的拷贝被用作由更新条目组合在一起引起的所有突变的共同目标，以便累积复合对象的相同副本中的所有期望的突变。

公开(公告)号：US06389425B1

公开(公告)日：2002-05-14

申请号：US09112464

申请日：1998-07-09

申请人： Linda Gail DeMichiel ,  Gene Y. C. Fuh ,  Bruce Gilbert Lindsay ,  Nelson Mendonca Mattos ,  Brian Thinh-Vinh Tran ,  Yun Wang

发明人： Linda Gail DeMichiel ,  Gene Y. C. Fuh ,  Bruce Gilbert Lindsay ,  Nelson Mendonca Mattos ,  Brian Thinh-Vinh Tran ,  Yun Wang

IPC分类号： G06F1730

CPC分类号： G06F17/30607 ,  Y10S707/99932 ,  Y10S707/99933 ,  Y10S707/99943 ,  Y10S707/99944

摘要： A method, apparatus, and article of manufacture for a computer-implemented embedded storage mechanism for structured data types. A statement is stored in a database stored on a data storage device connected to a computer. At compile-time, specific methods for a structured data type are mapped to generic methods using parse trees. At run-time, an in-memory representation of the structured data type is generated using information conveyed in the parse trees. Then, linearization of the generated in-memory representation is performed.

摘要翻译： 一种用于结构化数据类型的计算机实现的嵌入式存储机制的方法，装置和制品。 语句存储在存储在与计算机连接的数据存储设备上的数据库中。 在编译时，结构化数据类型的具体方法使用解析树映射到通用方法。 在运行时，使用解析树中传达的信息生成结构化数据类型的内存中表示。 然后，执行生成的存储器内表示的线性化。

公开(公告)号：US5696974A

公开(公告)日：1997-12-09

申请号：US554500

申请日：1995-11-07

申请人： Rakesh Agrawal ,  Linda Gail De Michiel ,  Bruce Gilbert Lindsay

发明人： Rakesh Agrawal ,  Linda Gail De Michiel ,  Bruce Gilbert Lindsay

IPC分类号： G06F9/42 ,  G06F9/45

CPC分类号： G06F8/437 ,  G06F9/4431

摘要： Methods and related apparatus, for use in programming language systems, are set forth which support compile-time type checking for overloaded functions in an environment supporting subtypes with multiple inheritance. At both compile and runtime, the invention considers the type of all actual arguments of a function to select a proper function instance to execute. Furthermore, the methods contemplated by the invention identify at compile time the set of function instances which might be invoked due to subtype substitutions for the actual arguments. Since type errors on function invocations or variable assignments are usually indicative of a programming error, program reliability can be improved and faults that would otherwise result in runtime errors can be corrected through the use of the invention prior to program deployment.

摘要翻译： 阐述了在编程语言系统中使用的方法和相关设备，其支持在支持具有多重继承的子类型的环境中的重载功能的编译时类型检查。 在编译和运行时，本发明考虑了函数的所有实际参数的类型，以选择要执行的正确的函数实例。 此外，本发明考虑的方法在编译时识别由于实际参数的子类型替换而可能调用的一组函数实例。 由于函数调用或变量赋值的类型错误通常表示编程错误，因此程序可靠性可以提高，否则会导致运行时错误的故障可以在程序部署之前通过使用本发明进行修正。

公开(公告)号：US06973572B1

公开(公告)日：2005-12-06

申请号：US09514607

申请日：2000-02-28

申请人： Steven K. Elliot ,  Saileshwar Krishnamurthy ,  Bruce Gilbert Lindsay ,  Rajendra Bhagwatisingh Panwar

发明人： Steven K. Elliot ,  Saileshwar Krishnamurthy ,  Bruce Gilbert Lindsay ,  Rajendra Bhagwatisingh Panwar

IPC分类号： G06F17/30 ,  G06F21/00 ,  H04I9/28

CPC分类号： G06F17/30342 ,  G06F21/64 ,  Y10S707/99953 ,  Y10S707/99954

摘要： A method, apparatus, and article of manufacture for providing to a signature hash for checking versions of abstract data types. An identifier is constructed for the abstract data type that is substantially unique to the abstract data type, wherein the identifier comprises a concatenation of various attributes for the abstract data type. The constructed identifier is hashed to generate a signature hash value for the abstract data type, which is then stored both in the database and a class definition for the abstract data type. When the class definition is instantiated as a library function, it accesses the abstract data type from the database, and compares the signature hash value from the database and the signature hash value from the class definition in order to verify that the class definition is not outdated. The class definition is outdated when the abstract data type has been altered without the signature hash value being re-generated and re-stored in the database and the class definition.

摘要翻译： 一种用于提供用于检查抽象数据类型的版本的签名散列的方法，装置和制品。 为抽象数据类型基本上唯一的抽象数据类型构造标识符，其中标识符包括抽象数据类型的各种属性的级联。 构造的标识符被散列以产生抽象数据类型的签名散列值，然后将其存储在数据库中并且抽象数据类型的类定义中。 当类定义被实例化为库函数时，它从数据库中访问抽象数据类型，并比较数据库中的签名散列值和类定义中的签名哈希值，以验证类定义是否过时 。 当抽象数据类型被更改，而不会将签名哈希值重新生成并重新存储在数据库和类定义中时，类定义已过时。

公开(公告)号：US06253197B1

公开(公告)日：2001-06-26

申请号：US09167395

申请日：1998-10-06

申请人： Bruce Gilbert Lindsay ,  Eugene Jon Shekita

发明人： Bruce Gilbert Lindsay ,  Eugene Jon Shekita

IPC分类号： G06F1730

CPC分类号： G06F17/30498 ,  Y10S707/99933 ,  Y10S707/99953

摘要： A system and method for joining a build table to a probe table in response to a query for data includes executing a hash loops join of the build table and the probe table. Matched rows are joined and output when the rows match each other by satisfying a join predicate. In an outer join, unmatched rows in the probe table are joined to a NULL build table field values and output, such that all rows of the probe table are output regardless of whether they have matched rows in the build table. In an early-out join, on the other hand, a “match once” table defines the probe table and in response to a query for unique probe table outputs, the joining of a probe table row, once joined and output a first time, to any other rows in the other table is prevented regardless of whether the row might match other rows. In both the hash loops early-out join and the hash loops outer join, when the build table is larger than main memory, the roles of the build and probe tables are reversed.

摘要翻译： 响应于对数据的查询将构建表连接到探测表的系统和方法包括执行构建表和探测表的散列循环连接。 匹配的行被连接并通过满足连接谓词来匹配行时输出。 在外连接中，探测表中的不匹配的行将连接到NULL构建表字段值和输出，以便无论在构建表中是否具有匹配行，都会输出探测表的所有行。 另一方面，在早期连接中，“匹配一次”表定义探针表，并且响应于对唯一探针表输出的查询，加入探针表行，一旦连接并输出第一次， 不管该行是否与其他行匹配，都会阻止其他表中的任何其他行。 在哈希循环早期连接和散列循环外连接中，当构建表大于主内存时，构建和探测表的角色相反。

公开(公告)号：US07539667B2

公开(公告)日：2009-05-26

申请号：US10982441

申请日：2004-11-05

申请人： Bruce Gilbert Lindsay ,  Linqi Liu ,  Robert Paul Neugebauer ,  Mir Hamid Pirahesh ,  David C. Sharpe ,  Nattavut Sutyanyong ,  Calisto Paul Zuzarte

发明人： Bruce Gilbert Lindsay ,  Linqi Liu ,  Robert Paul Neugebauer ,  Mir Hamid Pirahesh ,  David C. Sharpe ,  Nattavut Sutyanyong ,  Calisto Paul Zuzarte

IPC分类号： G06F17/30

CPC分类号： G06F17/30454 ,  Y10S707/99932 ,  Y10S707/99933

摘要： Disclosed is a data processing system implemented method, a data processing system and an article of manufacture for executing a query having a union operator. A data processing system implemented method direct the data processing system to execute a query against a database having data objects. The query has sub-queries and having a union operator. The union operator is operable on sub-queries associated with the query. The database is operatively coupled to the data processing system. The data processing system implemented method including grouping the sub-queries of the union operator according to identified structural similarities, the identified structural similarities being based on an analysis of the sub-queries, grouping the data objects of the database according to the grouped sub-queries, replacing the grouped data objects and any sub-queries associated with the grouped data objects with a reference to a representative data object and a representative sub-query, and accessing at least one member of the grouped data objects, the accessing of the at least one member of the grouped data object being based on the reference.

摘要翻译： 公开了一种用于执行具有联合运算符的查询的数据处理系统实现方法，数据处理系统和制品。 数据处理系统实现的方法指导数据处理系统对具有数据对象的数据库执行查询。 该查询具有子查询并具有联合运算符。 联合运算符可用于与查询相关联的子查询。 数据库可操作地耦合到数据处理系统。 所述数据处理系统实现方法包括根据所识别的结构相似性对所述联合运算符的子查询进行分组，所识别的结构相似性基于所述子查询的分析，根据所述分组子集对数据库的数据对象进行分组， 查询，通过参考代表性数据对象和代表性子查询替换分组数据对象和与分组数据对象相关联的任何子查询，以及访问分组数据对象的至少一个成员，访问at 分组数据对象的至少一个成员基于参考。

公开(公告)号：US07409385B2

公开(公告)日：2008-08-05

申请号：US10982337

申请日：2004-11-05

申请人： Bruce Gilbert Lindsay ,  Linqi Liu ,  Robert Paul Neugebauer ,  Mir Hamid Pirahesh ,  David C. Sharpe ,  Nattavut Sutyanyong ,  Calisto Paul Zuzarte

发明人： Bruce Gilbert Lindsay ,  Linqi Liu ,  Robert Paul Neugebauer ,  Mir Hamid Pirahesh ,  David C. Sharpe ,  Nattavut Sutyanyong ,  Calisto Paul Zuzarte

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

CPC分类号： G06F17/30454 ,  Y10S707/99933 ,  Y10S707/99934

摘要： Disclosed is a data processing system implemented method, a data processing system and an article of manufacture for executing a query having a union operator. The data processing system implemented method directs the data processing system to process a query against data objects. The data objects are operatively coupled to the data processing system. The query includes a parent operator. The parent operator references a union operator. The union operator references sub-queries. The sub-queries reference the data objects. The data processing system implemented method includes noting a set of partitionings for the union operator, the noted set of partitionings being based on the sub-queries and being based on the data objects reference by the sub-queries, and executing the query having the union operator, the execution of the query being based on the noted set of partitionings and the parent operator.

摘要翻译： 公开了一种用于执行具有联合运算符的查询的数据处理系统实现方法，数据处理系统和制品。 数据处理系统实现的方法指导数据处理系统处理对数据对象的查询。 数据对象可操作地耦合到数据处理系统。 该查询包括父操作符。 父操作员引用联合运算符。 联合运算符引用子查询。 子查询引用数据对象。 所述数据处理系统实现的方法包括注意用于联合运算符的一组分区，所述一组分区基于子查询，并且基于由子查询引用的数据对象，并且执行具有联合的查询 操作员，查询的执行是基于所述的一组分区和父操作符。

公开(公告)号：US6065013A

公开(公告)日：2000-05-16

申请号：US914394

申请日：1997-08-19

申请人： Gene Y. C. Fuh ,  Bruce Gilbert Lindsay ,  Nelson Mendonca Mattos ,  Brian Thinh-Vinh Tran ,  Yun Wang

发明人： Gene Y. C. Fuh ,  Bruce Gilbert Lindsay ,  Nelson Mendonca Mattos ,  Brian Thinh-Vinh Tran ,  Yun Wang

IPC分类号： G06F17/30

CPC分类号： G06F17/30607 ,  Y10S707/99944

摘要： A method, apparatus, and article of manufacture for a computer implemented storage mechanism for persistent objects in a database management system. A statement is executed in a computer. The statement is performed by the computer to manipulate data in a database stored on a data storage device connected to the computer. It is determined that an object is to be stored in an inline buffer. When the object can be entirely stored in the inline buffer, the object is stored in the inline buffer. When the object cannot be entirely stored in the inline buffer, a selected portion of the object is stored in the inline buffer and the remaining portion of the object is stored as a large object.

摘要翻译： 一种用于数据库管理系统中用于持久对象的计算机实现的存储机制的方法，装置和制品。 在计算机中执行语句。 该语句由计算机执行以操作存储在连接到计算机的数据存储设备上的数据库中的数据。 确定一个对象要存储在一个内联缓冲区中。 当对象可以完全存储在内联缓冲区中时，对象被存储在内联缓冲区中。 当对象不能完全存储在内联缓冲区中时，对象的选定部分被存储在内联缓冲区中，并且对象的剩余部分被存储为大对象。

公开(公告)号：US08910176B2

公开(公告)日：2014-12-09

申请号：US12688337

申请日：2010-01-15

申请人： Bruce Gilbert Lindsay ,  Roger C. Raphael ,  Paul Sherwood Taylor

发明人： Bruce Gilbert Lindsay ,  Roger C. Raphael ,  Paul Sherwood Taylor

IPC分类号： G06F15/16 ,  G06F17/30 ,  G06F9/50

CPC分类号： G06F9/5011 ,  G06F9/505 ,  G06F9/5061 ,  G06F9/5066 ,  G06F9/5088 ,  G06F9/54 ,  G06F17/30345

摘要： A method and system for distributing tasks from an external application among concurrent database application server instances in a database system for optimum load balancing, based on consensus among the instances. Each application instance identifies a task partition ownership by those in a membership group based on a time window and generates a new membership group and partition ownership based on the current partition ownership. The instance makes the new membership group and partition ownership known to other members by recoding them in the membership table and partition map. Each participation by an instance in the membership group is identified by a random number. The new membership group and partition ownership are generated and adjusted based on an average partition allocation to achieve consensus among the instances.

摘要翻译： 基于实例之间的一致性，用于在数据库系统中的并发数据库应用服务器实例之间从外部应用程序分发任务以实现最佳负载平衡的方法和系统。 每个应用程序实例基于时间窗口标识成员组中的任务分区所有权，并根据当前分区所有权生成新的成员组和分区所有权。 该实例通过在成员资格表和分区映射中对它们进行重新编码，使其他成员获得了新的成员组和分区所有权。 会员组中的实例的每个参与由随机数来标识。 根据平均分区分配生成和调整新成员组和分区所有权，以实现实例之间的一致。