Abstract: A method and system for processing a schema mapping M from a source schema S to a target schema T by executing program code on a processor of a computer system. A schema mapping M? from T to S is determined via processing the schema mapping M. The schema mapping M includes at least one constraint ?. Each constraint ? consists of a source-to-target tuple-generating dependencies (s-t tgd). The schema mapping M? includes at least one constraint ??. Each constraint ?? consists of a disjunctive tgd with constants and inequalities among the constants. The schema mapping M? is stored in at least one computer usable storage device of the computer system and/or is outputted in at least one output device of the computer system.

Abstract: A method for generating a schema mapping. A provided mapping M12 relates schema S1 to schema S2. A provided mapping M23 relates schema S2 to schema S3. A mapping M13 is generated from schema S1 to schema S3 as a composition of mappings M12 and M23. Mappings M12, M23, and M13 are each expressed in terms of at least one second-order nested tuple-generating dependency (SO nested tgd). Mapping M13 does not expressly recite any element of schema S2. At least one schema of the schemas S1 and S2 may comprise at least one complex type expression nested inside another complex type expression. Mapping M13 may define the composition of the mappings M12 and M23 with respect to a relationship semantics or a transformation semantics.

Abstract: Methods, systems and computer program products for interactive generation of integrated schemas. Exemplary embodiments include a method for schema integration, the method including recasting a first source schema into a first graph of concepts with HasA relationships, recasting a second source schema into a second graph of concepts with HasA relationships, identifying matching concepts in the first graph and the second graph based on correspondences between attributes of the concepts of the first and second graphs, producing an integrated schema, based on a fixed specification of matching concepts to merge, and generating a mapping from the first source schema to the integrated schema and from the second source schema to the integrated schema.

Abstract: A system and method for data integration by querying multiple extensible markup language (XML) source schemas through a common XML target schema, wherein the system comprises XML mapping connections between the XML source schemas and the XML target schema, wherein the XML mapping connections accommodate XML mappings, the XML source schemas comprise data, and the XML target schema comprise a set of constraints, which comprise data merging rules for integrating the data from multiple source schemas comprising overlapping information; a target query associated with the target schema; and a query rewriter adapted to reformulate the target query in terms of the source schemas based on the mappings, and to integrate the data based on the set of constraints. The query rewriter is adapted to rewrite the target query into a set of source queries comprising the source schemas. A processor evaluates a union of the set of source queries.

Abstract: A method and system for processing a schema mapping M from a source schema S to a target schema T by executing program code on a processor of a computer system. A schema mapping M? from T to S is determined via processing the schema mapping M. The schema mapping M includes at least one constraint ?. Each constraint ? consists of a source-to-target tuple-generating dependencies (s-t tgd). The schema mapping M? includes at least one constraint ??. Each constraint ?? consists of a disjunctive tgd with constants and inequalities among the constants. The schema mapping M? is stored in at least one computer usable storage device of the computer system and/or is outputted in at least one output device of the computer system.

Abstract: A method and system for processing a schema mapping M from a source schema S to a target schema T by executing program code on a processor of a computer system. A schema mapping M? from T to S is determined via processing the schema mapping M. The schema mapping M includes at least one constraint ?. Each constraint ? consists of a source-to-target tuple-generating dependencies (s-t tgd). The schema mapping M? includes at least one constraint ??. Each constraint ?? consists of a disjunctive tgd with constants and inequalities among the constants. The schema mapping M? is stored in at least one computer usable storage device of the computer system and/or is outputted in at least one output device of the computer system.

Abstract: A method and system for specifying, in a schema mapping framework, a mapping between a source schema and a target schema. The source and target schemas are schemas included in respective groups of registered, heterogeneous schemas. The source and target schemas may be of different types. Serialized versions of the source and target schemas include source objects and target objects, respectively. A mapping model is serialized into mapping objects that include logical references representing the source objects and logical references representing the target objects. The logical references are resolved to the source objects and target objects, thereby storing pointers to the source objects and to the target objects. After resolving the logical references, the mapping model includes the logical references and the pointers to the source and target objects.

Abstract: A method and system for generating a query implementing a schema mapping. A mapping M is provided from a schema S to a schema T, where M relates S to T, and M includes a plurality of constraints. Schemas S and T each include one or more elements, and T includes at least one set type element. Mapping M is expressed in terms of at least one nested tuple-generating dependency. A query Q is generated where Q is capable of applying M to an input instance I to result in an output instance J, where I conforms to S, J conforms to T, and I and J satisfy the plurality of constraints. Instance J is in partitioned normal form (i.e., satisfies minimal union semantics) and includes no duplicate element instances.

Abstract: A computer-implemented method for use with an extensible markup language (XML) document includes inputting a high-level mapping specification for a schema mapping; and generating a target XML document based on the mapping. The method may perform schema mapping-based XML transformation as a three-phase process comprising tuple extraction, XML-fragment generation, and data merging. The tuple extraction phase may be adapted to handle streamed XML data (as well as stored/indexed XML data). The data merging phase may use a hybrid method that can dynamically switch between main memory-based and disk-based algorithms based on the size of the XML data to be merged.

Abstract: A method, system and program product for specifying, in a schema mapping framework, a mapping between a source schema and a target schema. The source and target schemas are schemas included in respective groups of registered, heterogeneous schemas. The source and target schemas may be of different types. Serialized versions of the source and target schemas include source objects and target objects, respectively. A mapping model is serialized into mapping objects that include logical references representing the source objects and logical references representing the target objects. The logical references are resolved to the source objects and target objects, thereby storing pointers to the source objects and to the target objects. After resolving the logical references, the mapping model includes the logical references and the pointers to the source and target objects.

Abstract: A method for generating nested mapping specifications and transformation queries based thereon. Basic mappings are generated based on source and target schemas and correspondences between elements of the schemas. A directed acyclic graph (DAG) is constructed whose edges represent ways in which each basic mapping is nestable under any of the other basic mappings. Any transitively implied edges are removed from the DAG. Root mappings of the DAG are identified. Trees of mappings are automatically extracted from the DAG, where each tree of mappings is rooted at a root mapping and expresses a nested mapping specification.

Abstract: A method and system for generating nested mapping specifications and transformation queries based thereon. Basic mappings are generated based on source and target schemas and correspondences between elements of the schemas. A directed acyclic graph (DAG) is constructed whose edges represent ways in which each basic mapping is nestable under any of the other basic mappings. Any transitively implied edges are removed from the DAG. Root mappings of the DAG are identified. Trees of mappings are automatically extracted from the DAG, where each tree of mappings is rooted at a root mapping and expresses a nested mapping specification. A transformation query is generated from the nested mapping specification by generating a first query for transforming source data into flat views of the target and a second query for nesting flat view data according to the target format. Generating the first query includes applying default Skolemization to the specification.

Abstract: A computer-implemented method for use with an extensible markup language (XML) document includes inputting a high-level mapping specification for a schema mapping; and generating a target XML document based on the mapping. The method may perform schema mapping-based XML transformation as a three-phase process comprising tuple extraction, XML-fragment generation, and data merging. The tuple extraction phase may be adapted to handle streamed XML data (as well as stored/indexed XML data). The data merging phase may use a hybrid method that can dynamically switch between main memory-based and disk-based algorithms based on the size of the XML data to be merged.

Abstract: A method and system for specifying, in a schema mapping framework, a mapping between a source schema and a target schema. The source and target schemas are schemas included in respective groups of registered, heterogeneous schemas. The source and target schemas may be of different types. Serialized versions of the source and target schemas include source objects and target objects, respectively. A mapping model is serialized into mapping objects that include logical references representing the source objects and logical references representing the target objects. The logical references are resolved to the source objects and target objects, thereby storing pointers to the source objects and to the target objects. After resolving the logical references, the mapping model includes the logical references and the pointers to the source and target objects.

Abstract: A method and system for generating a query implementing a schema mapping. A mapping M is provided from a schema S to a schema T, where M relates S to T, and M includes a plurality of constraints. Schemas S and T each include one or more elements, and T includes at least one set type element. Mapping M is expressed in terms of at least one nested tuple-generating dependency. A query Q is generated where Q is capable of applying M to an input instance I to result in an output instance J, where I conforms to S, J conforms to T, and I and J satisfy the plurality of constraints. Instance J is in partitioned normal form (i.e., satisfies minimal union semantics) and includes no duplicate element instances.

Abstract: A method for generating a schema mapping. A provided mapping M12 relates schema S1 to schema S2. A provided mapping M23 relates schema S2 to schema S3. A mapping M13 is generated from schema S1 to schema S3 as a composition of mappings M12 and M23. Mappings M12, M23, and M13 are each expressed in terms of at least one second-order nested tuple-generating dependency (SO nested tgd). Mapping M13 does not expressly recite any element of schema S2. At least one schema of the schemas S1 and S2 may comprise at least one complex type expression nested inside another complex type expression. Mapping M13 may define the composition of the mappings M12 and M23 with respect to a relationship semantics or a transformation semantics.

Abstract: A computer program product is provided that uses data examples as a basis for understanding and refining declarative schema mappings. The system of the present invention identifies a set of intuitive operators for manipulating examples including establishing value correspondences, data linking, data trimming, data walking, and data chasing. These operators allow a user to follow and refine an example by walking through a data source. In addition, these operators can identify a large class of schema mappings and distinguish effectively between alternative schema mappings. With these operators, a user is able to quickly and intuitively build and refine complex data transformation queries that map one data source into another while continuously verifying that the mapping is accurate and appropriate.

Abstract: A system and method for data integration by querying multiple extensible markup language (XML) source schemas through a common XML target schema, wherein the system comprises XML mapping connections between the XML source schemas and the XML target schema, wherein the XML mapping connections accommodate XML mappings, the XML source schemas comprise data, and the XML target schema comprise a set of constraints, which comprise data merging rules for integrating the data from multiple source schemas comprising overlapping information; a target query associated with the target schema; and a query rewriter adapted to reformulate the target query in terms of the source schemas based on the mappings, and to integrate the data based on the set of constraints. The query rewriter is adapted to rewrite the target query into a set of source queries comprising the source schemas. A processor evaluates a union of the set of source queries.

Abstract: The present system imports data from a source schema into a target schema while keeping the semantics, structure, and constraints of the data intact. The system is driven by user inputs that define a set of correspondences between the source schema and the target schema. The system meets the requirement that data produced at the target not violate the schema of the target; rather, the data must conform to the target schema. The system can be applied in both target materialization and query unfolding, producing all the meaningful queries required in data translation by finding all the associations that exist in the schemas. Each query maps from a source association to a target association. The user selects a subset of those queries that match the desired data translation. Target constraints are taken into account by the present system to infer the user intention and to guarantee that the generated data satisfies the structure and constraints of the target schema.

Abstract: A computer program product is provided that uses data examples as a basis for understanding and refining declarative schema mappings. The system of the present invention identifies a set of intuitive operators for manipulating examples including establishing value correspondences, data linking, data trimming, data walking, and data chasing. These operators allow a user to follow and refine an example by walking through a data source. In addition, these operators can identify a large class of schema mappings and distinguish effectively between alternative schema mappings. With these operators, a user is able to quickly and intuitively build and refine complex data transformation queries that map one data source into another while continuously verifying that the mapping is accurate and appropriate.