.QL
.QL
パラダイムマルチパラダイム、論理パラダイム、オブジェクト指向パラダイム
開発者セムレ
初登場2007
タイピングの規律静的、強い
主要な実装
セムルコード
影響を受けた
データログ

.QL（「ドットキューエル」と発音）は、リレーショナルデータベース管理システムからデータを取得するために使用されるオブジェクト指向クエリ言語です。標準クエリ言語であるSQLやオブジェクト指向プログラミング言語であるJavaを彷彿とさせます。.QLは、 Datalogと呼ばれる論理クエリ言語のオブジェクト指向版です。そのため、.QLでは階層的なデータに対して再帰的なクエリを自然に実行できます。

.QL で記述されたクエリは最適化され、SQL にコンパイルされて、主要なリレーショナル データベース管理システムで実行できます。SemmleCode では、.QL クエリ言語を使用して、 Java プログラムのリレーショナル表現をクエリします。

.QL は Semmle Limited で開発されており、同社の独自の技術に基づいています。

言語機能

.QL には、クエリを簡潔かつ直感的で再利用可能にするための言語機能がいくつかあります。

  • 拡張可能な型階層
  • 方法と述語
  • 使用前の定義

クエリ例

以下のサンプルクエリは、.QLを使用してJavaプログラムをクエリする方法を示しています。これは、10個を超えるパブリックメソッドを含むすべてのクラスを選択する方法です。 

Class c 、int numOfMethodsから、numOfMethods = count ( Method m | m . getDeclaringType ( ) = cかつm . hasModifier ( "public" ))かつnumOfMethods > 10を選択して、 c . getPackage ()、c 、numOfMethods を実行します。

実際、このクエリは 10 個を超えるパブリック メソッドを持つすべてのクラスを選択するだけでなく、対応するパッケージと各クラスが持つメソッドの数も選択します。

参照

参考文献

  • エルヴェ・ガレール、ジャック・ミンカー著『論理とデータベース』プレナム・プレス、ニューヨーク、1978年。
  • セルジュ・アビテブール、パリス・C・カネラキス「クエリ言語プリミティブとしてのオブジェクトアイデンティティ」SIGMOD Rec、159～173ページ、ACM Press、1989年。
  • Oege de Moor、Elnar Hajiyev、Mathieu Verbaere. ソフトウェアシステムに対するオブジェクト指向クエリ。2007 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation (PEPM) の議事録、91ページ、ACM Press、2007年。
「 https://en.wikipedia.org/w/index.php?title=.QL&oldid=1273518762」から取得