Abstract: A system and method are disclosed for merging multiple spreadsheets into one sheet, and/or exchanging data among the sheets, by expressing each sheet's formulae as an algebraic (equational) theory and each sheet's values as a model of its theory, and then performing one or more of “Kan-extension”, “psuedo-colimit”, and “lifting”, and constructions from category theory, to compute a canonically “universal” integrated theory and model, which can then be expressed as a spreadsheet and from which projections back to the sources are easily constructed.

Abstract: Techniques are disclosed to migrate data via query co-evaluation. In various embodiments, an input data associated with a source database S and a target schema T to which the input data is to be migrated is received. A set of relational conjunctive queries from target schema T to source database S is received. Query co-evaluation is performed on the received set of relational conjunctive queries to transition data from source database S to target schema T.

Abstract: A data migration and integration system is disclosed. In various embodiments, the system includes a memory configured to store a mapping from a source schema to a target schema; and a processor coupled to the memory and configured to migrate to a target schema an instance of source data organized according to the source schema, including by using a chase engine to perform an ordered sequence of steps comprising adding a bounded layer of new elements to a current canonical chase state associated with migrating the source data to the target schema; adding coincidences associated with one or more of the target schema data integrity constraints and a mapping from the source schema to the target schema; and merging equal elements based on the coincidences; and repeat the preceding ordered sequence of steps iteratively until an end condition is met.

Abstract: A data migration and integration system is disclosed. In various embodiments, the system includes a memory configured to store a mapping from a source schema to a target schema; and a processor coupled to the memory and configured to migrate to a target schema an instance of source data organized according to the source schema, including by using a chase engine to perform an ordered sequence of steps comprising adding a bounded layer of new elements to a current canonical chase state associated with migrating the source data to the target schema; adding coincidences associated with one or more of the target schema data integrity constraints and a mapping from the source schema to the target schema; and merging equal elements based on the coincidences; and repeat the preceding ordered sequence of steps iteratively until an end condition is met.