サブ言語

サブ言語は言語のサブセットです。サブ言語は自然言語、コンピュータプログラミング言語、リレーショナル データベースに存在します。

情報科学、自然言語処理、機械翻訳において、サブ言語とは、特に技術領域などの限定された領域の言語である。数学用語では、「言語の文のサブセットは、その言語の何らかの演算の下で閉じている場合、その言語のサブ言語を形成する。例えば、サブセットの2つのメンバーが、およびによって、またはによって、操作された場合、結果もそのサブセットのメンバーである」。^{[1] [2] [3]}これは、ほとんどの言語研究で言語変種またはレジスターと呼ばれるものを指す特定の用語である。^[4]

サブ言語という用語は、別の言語のサブセットであるコンピュータ言語を表すために使用されることもあります。サブ言語は、構文的に制限されることがあります (元の言語のサブ文法を受け入れます)。また、意味的に制限されることもあります (特定のプログラムの可能な結果のセットは、元の言語の可能な結果のサブセットです)。

たとえば、ALGOL 68S は、このサブ言語用のシングルパスコンパイラを作成できるように設計されたALGOL 68のサブセットでした。

SQL（構造化照会言語）文は様々な方法で分類され、^[5]一般的にはデータ照会言語（DQL）、データ定義言語（DDL）、データ制御言語（DCL）、データ操作言語（DML）などのサブ言語にグループ化されます。^[6]

リレーショナル データベース理論において、「サブ言語」という用語は、1970 年にEF Coddによって初めてこの目的で使用され、リレーショナル データベース管理システム(RDBMS)の構造とコンテンツを定義または操作するために使用されるコンピュータ言語を指します。現代の RDBMS に関連する一般的なサブ言語は、QBE (Query by Example) とSQL (Structured Query Language) です。1985 年に Codd は、すべてのデータベースが真にリレーショナルであるためには満たさなければならない 12 のルールに自分の考えをまとめました。 ^{[7] [8] 5 番目のルールは、}包括的データ サブ言語ルールとして知られ、 次のように述べられています。

リレーショナル システムは、複数の言語とさまざまな端末使用モード (たとえば、空欄補充モード) をサポートする場合があります。ただし、明確に定義された構文に従って、ステートメントを文字列として表現でき、次のすべての項目を包括的にサポートする言語が少なくとも 1 つ必要です。

• データ定義
• 定義を表示
• データ操作（対話型およびプログラムによる）
• 整合性制約
• 承認
• トランザクション境界（開始、コミット、ロールバック）