Cross Domain Query Verification via Target Language Program

Resolve Bottlenecks,
Find Innovative SolutionsGenerate Solutions

Solution Overview

Problem

Current methods for verifying cross domain data system queries are either resource-intensive and prone to human error or limited by structural mismatches between source and target domains, lacking scalability and automation.

Innovation Solution

The proposed solution involves translating a query into a program in the target domain language to verify whether each result item should be returned, using a complete target data domain set obtained through a 'return-all' query or equivalent, and executing this program on every result item to ensure accurate verification of cross domain data system query results.

Engineering Contradictions & Design Principles

VSEngineering Contradiction Analysis

1Measurement precision

If manual checking is used to verify cross domain data system queries, then verification accuracy is improved, but resource consumption and time cost increase significantly

Engineering Contradiction:

Improveverification accuracyVSAvoidtime cost

Core Design Contradiction:

Measurement precisionVSLoss of time

Solution Approach 1:

The patent replaces manual mechanical verification with an automated programmatic approach. A verification program is generated from the cross-domain query and automatically executed against the source domain data, substituting human checkers with automated software that performs the same verification function more efficiently and at lower cost.

Inventive Principle:

Principle #28Mechanics substitution (Replace mechanical system)

2Extent of automation

If file baseline verification is used, then automated verification is achieved, but scalability is poor and human errors in baseline creation persist

Engineering Contradiction:

Improveautomation levelVSAvoidscalability

Core Design Contradiction:

Extent of automationVSAdaptability or versatility

Solution Approach 1:

The patent performs preliminary actions by generating a verification program from the cross-domain query before execution. This program is prepared in advance and contains all necessary logic to verify results automatically, eliminating the need for manual baseline file creation and enabling scalable verification across different queries and data sizes.

Inventive Principle:

Principle #10Preliminary action

3Measurement precision

If query translation to source domain is attempted, then verification coverage is improved, but structural mismatches between domains cause translation difficulties

Engineering Contradiction:

Improveverification coverageVSAvoidtranslation complexity

Core Design Contradiction:

Measurement precisionVSDevice complexity

Solution Approach 1:

The patent uses the target domain query language as an intermediary to bridge the source and target domains. Instead of translating to the source domain, the verification program operates in the target domain using the existing query structure, avoiding translation complexity while maintaining verification coverage through direct execution on source data.

Inventive Principle:

Principle #24Intermediary (Mediator)

Data Source

PatentUS7761430B2Verification of cross domain data system query results

Publication Date: 2010.07.20 MICROSOFT TECHNOLOGY LICENSING LLC

AI summary

Cross domain data systems are verified by creating a program in the target domain language which can be used to determine for a result item whether the result item should be part of a query result. The program is then used in order to determine, for a set of target domain data corresponding to source domain data, a set of expected result items. These are compared with the result from the cross domain data system in order to provide verification of cross domain data systems. Multiple queries may be automatically generated and verified according to this technique.