| 发明名称 |
Query constraint encoding with type-based state machine |
| 摘要 |
A query specified in a source programming language can be analyzed as a function of a type-based state machine that encodes query constraints of a target programming language. The type-based state machine can encode such constraints as types representing states and methods representing transitions between states or types. |
| 申请公布号 |
US9177017(B2) |
申请公布日期 |
2015.11.03 |
| 申请号 |
US201012890870 |
申请日期 |
2010.09.27 |
| 申请人 |
Microsoft Technology Licensing, LLC |
发明人 |
De Smet Bart;Meijer Henricus Johannes Maria |
| 分类号 |
G06F9/44;G06F17/30;G06F9/45 |
主分类号 |
G06F9/44 |
| 代理机构 |
|
代理人 |
Haslam Brian;Drakos Kate;Minhas Micky |
| 主权项 |
1. A method of query analysis, comprising:
employing at least one processor configured to execute computer-executable instructions stored in memory to perform the following acts: analyzing a query specified with a source programming language with respect to constraints of a target query programming language to determine validity of the query at compile time with a type-based state machine, wherein the type-based state machine is generated as a function of the target query programming language by encoding the constraints of the target query programming language in terms of data types as states and methods as transitions between the states. |
| 地址 |
Redmond WA US |
