特許

J-GLOBAL ID：201003047329248723

要素型の型フローを可能にするためのクエリパターン

発明者： ヘンリクス ヨハネス マリア マイヤー ,  アマンダ ケー.シルバー ,  ポール エー.ヴィック ,  エブゲニ ザボクリトスキ ,  アレクセイ ブイ.ツインガウス
出願人/特許権者： マイクロソフト コーポレーション
代理人 (2件)： 谷 義一 ,  阿部 和夫
公報種別：公表公報
出願番号（国際出願番号）：特願2009-549210
公開番号（公開出願番号）：特表2010-518516
出願日： 2008年02月05日
公開日（公表日）： 2010年05月27日
要約：

本発明は、式の第1の句中の演算子から式の次の句中の演算子への要素型の型フローを容易にすることのできる演算子パターンの形式化に関する。次の句にフローする型と、次の句に存在する演算子とを組み合わせて、次の句の要素型を推論することができる。したがって、式を前もって完全に変換する必要なしに、型チェック、オートコンプリート、および他の有利な機能をインクリメンタルに達成することができる。

請求項（抜粋）：

クエリパターンを利用して式中の演算子間における要素型の型フローを容易にする、コンピュータによって実現されるシステムであって、 第1のクエリ句および少なくとも1つの次のクエリ句を含むクエリ式を受け取るインタフェースであって、前記第1のクエリ句は第1のクエリ演算子、要素型T、およびソース型を含み、前記ソース型は照会可能型であるインタフェースと、 前記少なくとも1つの次のクエリ句に対するクエリ演算子パターンとを備え、前記クエリ演算子パターンは、前記少なくとも1つの次のクエリ句への要素型の型フローを確実にすることを特徴とするシステム。

IPC (1件)：

G06F 17/30

FI (3件)：

G06F17/30 340D ,  G06F17/30 330Z ,  G06F17/30 180D

Fターム (1件)：

5B075QT06

引用文献：

審査官引用 (3件)

• Rapid SQL 5.7 Closs-Platform 日揮情報ソフトウェア株式会社
• 使うぞ!アクセス
• Language integrated query: unified querying across data sources and programming languages