Patent · US Active

Program synthesis for query optimization

US11016974B2 · kind B2 · utility

0Cited by

4References

15Claims

0Family size

Assignee

MICROSOFT TECHNOLOGY LICENSING, LLC · US

Inventors

Kaushik Rajan · Bengaluru, IN
Akash Lal · Bengaluru, IN
Matthias Schlaipfer · Berlin, DE

Key dates

Filing date	Dec 22, 2017
Grant date	May 25, 2021
Priority date	—
Expiry date	Nov 7, 2039

Classification

Technology area (CPC G)Physics
CPC primaryG06F16/24535
WIPO fieldComputer technology
WIPO sectorElectrical engineering

Abstract

Systems, methods, and computer-executable instructions for using program synthesis for a database query includes analyzing a database query, written in a first language, to identify a first sub-query. A first synthesis template is constructed for the first sub-query. A first program, synthesized in a second language different from the first language, is synthesized using the first synthesis template. The functionality of the first program is equivalent to the first sub-query. The database query is rewritten to call the first program. The rewritten database query is executed.

Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.