Enforcing both syntactic and semantic correctness of domain-specific data queries

A system for enforcing semantic correctness of domain-specific data queries, the system comprising:

• a processor;
• and
• a computer-readable medium storing instructions that are operative upon execution by the processor to:
• receive a data query;
• constrain an operation of the data query to enforce semantic correctness, wherein enforcing semantic correctness comprises:
• determining semantic information associated with each of a plurality of data entities;
• based on at least the semantic information, determining whether combining two data entities of the plurality of data entities is allowed or is not allowed;
• based on at least determining that combining the two data entities is allowed, permitting combining the two data entities in the data query;
• and
• based on at least determining that combining the two data entities is not allowed, preventing combining the two data entities in the data query;
• execute the data query;
• and
• assign a common composite unit of measure to a result of the data query.

One or more computer storage devices having computer-executable instructions stored thereon, which, on execution by a computer, cause the computer to perform operations comprising:

• receiving a data query;
• constraining an operation of the data query to enforce semantic correctness, wherein enforcing semantic correctness comprises:
• determining semantic information associated with each of a plurality of data entities;
• based on at least the semantic information, determining whether combining two data entities of the plurality of data entities is allowed or is not allowed;
• based on at least determining that combining the two data entities is allowed, permitting combining the two data entities in the data query;
• and
• based on at least determining that combining the two data entities is not allowed, preventing combining the two data entities in the data query;
• executing the data query;
• and
• assigning a common composite unit of measure to a result of the data query.