US 12,287,781 B2
Enforcing both syntactic and semantic correctness of domain-specific data queries
Lengning Liu, 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); and Roji Pulimoottil Thomas, Issaquah, WA (US)
Assigned to Microsoft Technology Licensing, LLC., Redmond, WA (US)
Filed by Microsoft Technology Licensing, LLC, Redmond, WA (US)
Filed on Jan. 16, 2024, as Appl. No. 18/413,906.
Application 18/413,906 is a continuation of application No. 17/331,584, filed on May 26, 2021, granted, now 11,907,209.
Prior Publication US 2024/0152509 A1, May 9, 2024
This patent is subject to a terminal disclaimer.
Int. Cl. G06F 16/00 (2019.01); G06F 16/242 (2019.01); G06F 16/2455 (2019.01); G06F 40/211 (2020.01); G06F 40/30 (2020.01)
CPC G06F 16/2423 (2019.01) [G06F 16/2445 (2019.01); G06F 16/24565 (2019.01); G06F 40/211 (2020.01); G06F 40/30 (2020.01)] 20 Claims
OG exemplary drawing
 
1. A method of enforcing semantic correctness of domain-specific data queries, the method comprising:
assigning a timestamp to each of a plurality of data entities;
receiving a data query;
constraining an operation of the data query to enforce the semantic correctness, wherein enforcing the semantic correctness comprises:
determining semantic information associated with each of the plurality of data entities;
based on at least the semantic information, determining whether combining a first data entity and a second data entity of the plurality of data entities is allowed or is not allowed;
based on at least determining that combining the first data entity and the second data entity is allowed, aligning the first data entity and the second data entity based on a timestamp assigned to the first data entity and a timestamp assigned to the second data entity;
permitting combining the first data entity and the second data entity; and
based on at least determining that combining the first data entity and the second data entity is not allowed, preventing combining the first data entity and the second data entity; and
executing the data query.