利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

28 条记录 (耗时 0.017 秒)

    SYSTEM FOR VALIDATING A DOCUMENT CONFORMING TO A FIRST SCHEMA WITH RESPECT TO A SECOND SCHEMA
    1.
    发明申请
    SYSTEM FOR VALIDATING A DOCUMENT CONFORMING TO A FIRST SCHEMA WITH RESPECT TO A SECOND SCHEMA 有权
    用于对第二张图表符合第一张图表的文件进行验证的系统

    公开(公告)号：US20090063952A1

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

    申请号：US12056233

    申请日：2008-03-26

    申请人： Mukund Raghavachari ,  Oded Shmueli

    发明人： Mukund Raghavachari ,  Oded Shmueli

    IPC分类号： G06F17/00

    CPC分类号： G06F17/2725 ,  G06F17/2247

    摘要： An improved system for determining compliance between a source document structure in accordance with a source schema and a target schema includes: data storage; and a processor for executing software code. The software code causes the processor to: create a source schema description and a target schema description; receive the source document which includes an ordered tree structure with labeled elements and including a subtree; identify all corresponding element types in the source and target schemas for grouping the corresponding element types into element type pairs; classify each element type pair; and confirm compliance of the source document.

    摘要翻译： 用于确定根据源模式和目标模式的源文档结构的合规性的改进的系统包括：数据存储; 以及用于执行软件代码的处理器。 软件代码使处理器：创建源模式描述和目标模式描述; 接收源文档，其中包含带有标记元素并包括子树的有序树结构; 识别源和目标模式中的所有相应元素类型，以将相应的元素类型分组为元素类型对; 对每个元素类型对进行分类; 并确认源文档的符合性。

    System and method for validating a document conforming to a first schema with respect to a second schema
    2.
    发明申请
    System and method for validating a document conforming to a first schema with respect to a second schema 失效
    用于验证符合第二模式的第一模式的文档的系统和方法

    公开(公告)号：US20050060645A1

    公开(公告)日：2005-03-17

    申请号：US10662799

    申请日：2003-09-12

    申请人： Mukund Raghavachari ,  Oded Shmueli

    发明人： Mukund Raghavachari ,  Oded Shmueli

    IPC分类号： G06F17/00 ,  G06F17/22 ,  G06F17/27

    CPC分类号： G06F17/2725 ,  G06F17/2247

    摘要： An improved method of validating a document structured in accordance with a first schema with respect to a second schema saves processing time by using information about relationships between the first schema and second schema and the document's conformance to the first schema to determine the document's validity in the second schema. The element type definitions of the XML or other document cast in the first schema are examined to determine if any element conforming to element types in the first schema is always invalid in the second schema. If any content conforming to always invalid element types is present in the document, the document can be immediately invalidated with respect to the second schema without further processing. Any content conforming to element types in the first schema that are subsumed by element types in the second schema can be immediately validated with respect to the second schema. Content conforming to element types in the first schema that are possibly valid in the second schema are examined to determine if the individual elements of the potentially invalid type are valid in the second schema. Automatons representing varying aspects of each schema and their relationship to each other are created to further reduce the processing time required to validate the documents in the new schema.

    摘要翻译： 根据关于第二模式的第一模式来结构化的文档的改进方法通过使用关于第一模式和第二模式之间的关系的信息以及文档与第一模式的一致性来确定文档的有效性来节省处理时间 第二个模式。 检查第一个模式中转换的XML或其他文档的元素类型定义，以确定是否符合第一个模式中的元素类型的任何元素在第二个模式中始终无效。 如果在文档中存在符合始终无效元素类型的任何内容，则文档可以相对于第二模式立即无效，而无需进一步处理。 符合第一模式中的元素类型的任何内容都可以根据第二个模式立即得到验证。 检查符合第一模式中可能在第二模式中有效的元素类型的内容，以确定潜在无效类型的各个元素是否在第二模式中有效。 创建表示每个模式的不同方面及其彼此之间关系的自动机，以进一步减少验证新模式中的文档所需的处理时间。

    System for validating a document conforming to a first schema with respect to a second schema
    3.
    发明授权
    System for validating a document conforming to a first schema with respect to a second schema 有权
    用于根据第二模式验证符合第一模式的文档的系统

    公开(公告)号：US08065608B2

    公开(公告)日：2011-11-22

    申请号：US12056233

    申请日：2008-03-26

    申请人： Mukund Raghavachari ,  Oded Shmueli

    发明人： Mukund Raghavachari ,  Oded Shmueli

    IPC分类号： G06F17/30

    CPC分类号： G06F17/2725 ,  G06F17/2247

    摘要： An improved system for determining compliance between a source document structure in accordance with a source schema and a target schema includes: data storage; and a processor for executing software code. The software code causes the processor to: create a source schema description and a target schema description; receive the source document which includes an ordered tree structure with labeled elements and including a subtree; identify all corresponding element types in the source and target schemas for grouping the corresponding element types into element type pairs; classify each element type pair; and confirm compliance of the source document.

    摘要翻译： 用于确定根据源模式和目标模式的源文档结构的合规性的改进的系统包括：数据存储; 以及用于执行软件代码的处理器。 软件代码使处理器：创建源模式描述和目标模式描述; 接收源文档，其中包含带有标记元素并包括子树的有序树结构; 识别源和目标模式中的所有相应元素类型，以将相应的元素类型分组为元素类型对; 对每个元素类型对进行分类; 并确认源文档的符合性。

    Method for validating a document conforming to a first schema with respect to a second schema
    7.
    发明授权
    Method for validating a document conforming to a first schema with respect to a second schema 失效
    用于根据第二模式验证符合第一模式的文档的方法

    公开(公告)号：US07596748B2

    公开(公告)日：2009-09-29

    申请号：US10662799

    申请日：2003-09-12

    申请人： Mukund Raghavachari ,  Oded Shmueli

    发明人： Mukund Raghavachari ,  Oded Shmueli

    IPC分类号： G06F17/30

    CPC分类号： G06F17/2725 ,  G06F17/2247

    摘要： A method of validating a document structured in accordance with a first schema and with respect to a second schema saves processing time by using information about relationships between the first schema and second schema and the document's conformance to the first schema to determine the document's validity in the second schema. The element type definitions of the XML or other document cast in the first schema are examined to determine if any element conforming to element types in the first schema is always invalid in the second schema. If any content conforming to always invalid element types is present in the document, the document can be immediately invalidated with respect to the second schema without further processing. Any content conforming to element types in the first schema that are subsumed by element types in the second schema can be immediately validated with respect to the second schema.

    摘要翻译： 验证根据第一模式并相对于第二模式构造的文档的方法通过使用关于第一模式和第二模式之间的关系的信息以及文档与第一模式的一致性来确定文档的有效性来节省处理时间 第二个模式。 检查第一个模式中转换的XML或其他文档的元素类型定义，以确定是否符合第一个模式中的元素类型的任何元素在第二个模式中始终无效。 如果在文档中存在符合始终无效元素类型的任何内容，则文档可以相对于第二模式立即无效，而无需进一步处理。 符合第一模式中的元素类型的任何内容都可以根据第二个模式立即得到验证。

    METHOD AND SYSTEM FOR DETECTION OF INTEGRITY CONSTRAINT VIOLATIONS
    8.
    发明申请
    METHOD AND SYSTEM FOR DETECTION OF INTEGRITY CONSTRAINT VIOLATIONS 失效
    用于检测完整性约束违反的方法和系统

    公开(公告)号：US20080059841A1

    公开(公告)日：2008-03-06

    申请号：US11932492

    申请日：2007-10-31

    申请人： Rajesh Bordawekar ,  Michael Burke ,  Mukund Raghavachari ,  Oded Shmueli

    发明人： Rajesh Bordawekar ,  Michael Burke ,  Mukund Raghavachari ,  Oded Shmueli

    IPC分类号： G06F11/00

    CPC分类号： G06F8/10 ,  G06F11/0751 ,  G06F17/3051 ,  Y10S707/99934

    摘要： A system (and method) of detecting an error in a database interaction, includes providing information about at least one of at least first and second software systems, and a mapping between at least a portion of the at least first and second software systems, and examining the at least one of the first and second software systems and the mapping to determine an error in an interaction between the at least first and second software systems.

    摘要翻译： 一种检测数据库交互中的错误的系统（和方法）包括提供关于至少第一和第二软件系统中的至少一个的信息，以及至少第一和第二软件系统的至少一部分之间的映射，以及 检查第一和第二软件系统中的至少一个以及映射以确定至少第一和第二软件系统之间的交互中的错误。

    Modular Integration of Distinct Type Systems for the Compilation of Programs
    10.
    发明申请
    Modular Integration of Distinct Type Systems for the Compilation of Programs 失效
    用于汇编程序的不同类型系统的模块化集成

    公开(公告)号：US20090055800A1

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

    申请号：US11844315

    申请日：2007-08-23

    申请人： Igor Peshansky ,  Mukund Raghavachari

    发明人： Igor Peshansky ,  Mukund Raghavachari

    IPC分类号： G06F9/44

    CPC分类号： G06F8/437 ,  G06F8/315

    摘要： A method for extending functionality of a compiler includes: receiving a first source file written in a language that supports multiple system types, wherein the first source file includes a plurality of source constructs associated with parameter types of the multiple type systems; annotating each of the plurality of source constructs with the type system from one of the multiple type systems and precise parameter type to which its associated type system belongs; retrieving type system rules corresponding to each type system referred to in the first source file from a type system loader; verifying, using the type system rules, that instances of use of variables, expressions, and methods in the first source file are appropriate with respect to the type system of annotated types associated with the source constructs; and compiling the first source file to produce a second source file including type information retained from the first source file.

    摘要翻译： 一种用于扩展编译器的功能的方法包括：接收以支持多种系统类型的语言编写的第一源文件，其中所述第一源文件包括与所述多类型系统的参数类型相关联的多个源结构; 使用来自多种类型系统之一的类型系统和其相关联的类型系统所属的精确参数类型来注释多个源结构中的每一个; 从类型系统加载器检索对应于在第一源文件中引用的每个类型系统的类型系统规则; 使用类型系统规则验证在第一源文件中使用变量，表达式和方法的实例对于与源结构相关联的注释类型的类型系统是合适的; 并且编译第一源文件以产生包括从第一源文件保留的类型信息的第二源文件。