- Redmond WA, US Tanuja MACHINENI - Redmond WA, US Chad Michael HEYNE - Redmond WA, US Manohar SREENIVASACHAR - Redmond WA, US Richard T. GUY - Seattle WA, US Roji Pulimoottil THOMAS - Issaquah WA, US
International Classification:
G06F 16/242 G06F 16/2455 G06F 40/30 G06F 40/211
Abstract:
Solutions for enforcing both syntactic and semantic correctness of domain-specific data queries include: 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 the 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; and executing the data query. Some examples further include basing the permission on (at least) an ontology between the semantic information of the two data entities and a set of axioms.