会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 2. 发明授权
    • Database management system, method and program for supporting the
mutation of a composite object without read/write and write/write
conflicts
    • 数据库管理系统,支持复制对象突变的方法和程序,无需读/写和写/写冲突
    • US5857182A
    • 1999-01-05
    • US786605
    • 1997-01-21
    • Linda Gail DeMichielGene Y. C. FuhMichelle Mei-Chiou JouBruce Gilbert LindsayNelson Mendonca MattosSerge Philippe RielauBrian Thinh-Vinh Tran
    • Linda Gail DeMichielGene Y. C. FuhMichelle Mei-Chiou JouBruce Gilbert LindsayNelson Mendonca MattosSerge Philippe RielauBrian Thinh-Vinh Tran
    • G06F17/30
    • G06F17/30607Y10S707/99931Y10S707/99932Y10S707/99933Y10S707/99934Y10S707/99935Y10S707/99936Y10S707/99937Y10S707/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。 此外,将相关的更新条目分组在一起,并为共同目标生成副本。 生成的拷贝被用作由更新条目组合在一起引起的所有突变的共同目标,以便累积复合对象的相同副本中的所有期望的突变。
    • 6. 发明授权
    • System, method, and program for extending a SQL compiler for handling
control statements packaged with SQL query statements
    • 用于扩展SQL编译器以处理用SQL查询语句打包的控制语句的系统,方法和程序
    • US5875334A
    • 1999-02-23
    • US548969
    • 1995-10-27
    • Jyh-Herng ChowYou-Chin (Gene) FuhNelson Mendonca MattosBrian T. Tran
    • Jyh-Herng ChowYou-Chin (Gene) FuhNelson Mendonca MattosBrian T. Tran
    • G06F9/45G06F17/30
    • G06F17/30415G06F17/30433G06F8/427G06F8/433G06F8/443
    • This invention provides an integrated compiler for compiling SQL3 control statements having procedural, i.e., control, information packaged together with query, i.e., non-procedural, statements. A query extractor contained within the parser extracts the query statement from the control statement leaving a control skeleton. The query statement is processed as usual through a query compiler for generating executable plans with the exception that the name resolution function for resolving variables is modified for looking up local variables. This modification takes into account the mapping of local and host variables to create a unification of local and host variables. The control skeleton is processed through a control analyzer which generates a representation of the control flow and a scope and symbol table. The control analyzer also unifies the local and host variables. A plan synthesizer then takes as input the control flow information, symbol tables, and individual executable plans for the query statements and generates a meta-plan comprising a merger of a top level plan for the control skeleton and sub-plans representing the executable plans of the query statement. Therefore, this invention provides a uniform way of treating local and host variables, provides an efficient way of performing bind-in/bind-out processes, creates a single execution plan requiring only a single run-time interpreter, and requires minimum enhancements to existing SQL2 compilers. In addition, this invention enables the application of global optimization techniques for optimizing both the control aspects and query aspects of the original control statement.
    • 本发明提供了一种用于编译具有程序化即控制信息的SQL3控制语句的集成编译器,其中包含与查询(即非程序语句)一起打包的信息。 解析器中包含的查询提取器从控制语句中提取查询语句,留下控制框架。 查询语句通常通过用于生成可执行计划的查询编译器进行处理,但用于解析变量的名称解析功能被修改用于查找局部变量。 此修改考虑了本地和主机变量的映射,以创建本地和主机变量的统一。 控制骨架通过控制分析器进行处理,控制分析器生成控制流的表示以及范围和符号表。 控制分析仪还统一了本地和主机变量。 然后,计划合成器将查询语句的控制流信息,符号表和各个可执行计划作为输入,并生成包含控制框架的顶层计划的合并和表示可执行计划的子计划的元计划 查询语句。 因此,本发明提供了一种统一的方法来处理本地和主机变量,提供了一种执行绑定/绑定过程的有效方法,创建一个仅需要单个运行时解释器的单个执行计划,并且需要对现有的 SQL2编译器。 另外,本发明能够应用全局优化技术来优化原始控制语句的控制方面和查询方面。