JSONiq

JSONiqは、 JSON、XML、および非構造化テキスト データ の形式の階層型および異種データのコレクションを宣言的にクエリおよび変換するように設計されたクエリおよび関数型プログラミング言語です。

JSONiq は、Creative Commons Attribution - ShareAlike 3.0 ライセンスに基づいて公開されたオープン仕様です。XQuery言語に基づいており、アトミック タイプに対する同じコア式と操作を共有しています。JSONiqには 2 つの構文タイプがあり、どちらも JSON と XML をネイティブにサポートします 。

1. XQuery の互換性のあるサブセットを通じて XML サポートが拡張された JSONiq 構文 (JSON のスーパーセット) 。
2. 上記の JSONiq 構文の互換性のあるサブセット (XQuery への JSONiq 拡張) を通じて JSON サポートが拡張された XQuery 構文 (ネイティブ XML サポート)。

JSONiq は主に、JSON ドキュメントまたは JSON として表示できる任意のデータ ソース (リレーショナル データベースやWeb サービスなど) からデータを抽出して変換する手段を提供します。

このような操作を実行するための主要な式は、 XQuery から派生したSQLのような「FLWOR式」です。FLWOR 式は、FOR、LET、WHERE、ORDER BY、RETURN という 5 つの句で構成され、その名前が付けられています。ただし、グループ化やウィンドウ化を行うための句もサポートされています。

この言語は、フィールド名と値が事前にわかっているか、動的に計算できる新しい JSON ドキュメントを作成するための構文も提供します。JSONiq 言語 (XQuery の拡張ではありません) は、JSON のスーパーセットです。つまり、各 JSON ドキュメントは有効な JSONiq プログラムです。

さらに、この言語は、JSON オブジェクトからフィールド名と値、および JSON 配列から値を抽出するためのナビゲーション構文もサポートしています。ナビゲーションは、値がない場合や値が異種の場合でも、エラーを発生させずに予期しない値を黙って無視するため、回復力があります。

すべての構成要素は言語内の式として定義され、任意にネストできます。

JSONiq には、JSON または XML ドキュメントを更新する機能、フルテキスト検索機能、ステートメントがありません。これらの機能はすべて、言語の次のバージョンに向けて積極的に開発されています。

JSONiq は、任意の JSON から JSON または XML から XML への変換を表現できるプログラミング言語です。また、JSON と XML 間の変換も可能です。このようなすべての変換には、次の機能があります。

1. 論理的/物理的なデータの独立性
2. 宣言的
3. 高レベル
4. 副作用なし
5. 厳密に型付けされた

この言語は、 XQuery および XPath データ モデル(XDM)の拡張である JSONiq データ モデル (JDM) に基づいています。JDM は、JSON または XML ドキュメントの情報コンテンツのツリー構造モデルを使用します。JDM には、JSON オブジェクト、JSON 配列、あらゆる種類の XML ノード、および XML スキーマで定義されている整数、文字列、ブール値などのアトミック値が含まれます。

JDM はセット指向言語の基礎を形成し、データ モデルのインスタンスはシーケンスです (シングルトン値は長さ 1 のシーケンスと見なされます)。シーケンス内の項目は、JSON オブジェクト、JSON 配列、XML ノード、またはアトミック値になります。

以下のサンプル JSONiq コードは、JSON 人物オブジェクトのコレクションから市外局番と 20 歳以上のすべての人の数を計算します (オブジェクトの例については JSON の記事を参照してください)。

 for $ p in collection ( "persons" ) where $ p.age gt 20 let $ home := $ p.phoneNumber [][ $ $ .type eq "home" ] .number group by $ area := substring-before ( $ home , " " ) return { "area code" : $ area , "count" : count ( $ p ) }   
    
      
     
  
   
       
       
   

すべての JSONiq 構造は式であり、関数の本体に含めることもできます。

 関数local:adults ()を宣言します{ for $ p in collection ( "persons" ) where $ p.age gt 20 return $ p };  
 
      
      
    
 

次のクエリは、XQuery 構文 (XQuery の JSONiq 拡張) を使用して、各 person オブジェクトの一部を XML 要素に変換します。

 $ pのコレクション( "persons" )で、 <person> <firstName> { $ p ( "firstName" )} </firstName> <lastName> { $ p ( "lastName" )} </lastName> <age> { $ p ( "age" )} </age> </person>を返します。   
  
   
     
     
     
   

以下に、JSONiq の使用方法と使用場所の例をいくつか示します。

1. Web サービスで使用するためにデータベースから情報を抽出します。
2. JSON ドキュメント ストアに保存されたデータの概要レポートを生成します。
3. JSON データを選択して XHTML に変換し、Web 上に公開します。
4. さまざまなソースと形式 (JSON ドキュメント ストア、XML データベース、リレーショナル データベース、Web サービスなど) からのデータを関連付け、Web サービスで提供します。
5. JSON オブジェクトのコレクションを別のスキーマに変換します。

JSONiq には 2 つの構文があり、ユーザーは JSON と XML のどちらに重点を置いているかに応じて使用できます。どちらの構文も同じデータ モデルを使用し、いくつかの例外を除いて非常によく似ています。

純粋な JSONiq 構文は JSON のスーパーセットです。すべての式とセマンティクスが利用可能であるにもかかわらず、厳密に言えば XQuery のスーパーセットではありません。JSONiq 構文の次の側面は XQuery に準拠していません。

1. ドットを含む名前はありません。
2. コンテキスト項目に . は使用できません (代わりに $$ を使用する必要があります)。
3. 一重引用符で囲まれたリテラルはありません。
4. JSON、文字列リテラル内のバックスラッシュベースのエスケープ。
5. 相対パス式の先頭では軸ステップは許可されません。

XQuery への JSONiq 拡張は XQuery のスーパーセットですが、JSON のスーパーセットではありません。XQuery 3.0 候補勧告に完全に準拠しており、下位互換性があります。JSONiq の次の側面は、XQuery 構文ではサポートされていません。

1. ドットベースのオブジェクト検索はありません (代わりに $object(“key”))。
2. コンテキスト項目に $$ がありません。
3. XML、文字列リテラルのアンパサンドベースのエスケープ。
4. オブジェクトキーは引用符で囲む必要があります
5. true/false/nullリテラルなし
6. 組み込みのアトミック型には xs: というプレフィックスを付ける必要があります。
7. 非アトミック型の後には括弧を付ける必要があります。
8. empty-sequence() は、そのように記述する必要があります。
9. 配列の検索と [] 配列のアンボックス化はありません。

• JSONiq - NoSQL のSQL。Ghislain Fourny。CreateSpace Independent Publishing Platform。ISBN 1489530371 。

• Zorba : JSONiq および XQuery への JSONiq 拡張
• IBM WebSphere: XQuery への JSONiq 拡張
• BeniBela インターネット ツール: XQuery への JSONiq 拡張