JSONスキーマのための否定閉包【JST・京大機械翻訳】

Baazizi Mohamed-Amine; Colazzo Dario; Ghelli Giorgio; Sartiani Carlo; Scherzinger Stefanie

プレプリント

J-GLOBAL ID：202202215632035293 整理番号：22P0296046

JSONスキーマのための否定閉包【JST・京大機械翻訳】

Negation-Closure for JSON Schema

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (5件)： , , , ,
資料名：
発行年： 2022年02月27日プレプリントサーバーでの情報更新日： 2022年02月27日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

JSON Schemaは,JSON文書のファミリーを記述するための進化する標準である。それは,解析の下でJSON値の特徴を記述し,そして,否定オペレータを含むこれらの主張のための論理的または構造的結合器に関して,論理的言語である。多くの論理的言語は,交渉を楽し,すなわち,あらゆるオペレータに対して,それらは,その否定を表現する交渉二重を持つ。著者らは,これがJSON Schemaの場合ではなく,Draftの最新のバージョンでどのように変化するかを研究し,従って,言語がそれに応じてどのように豊かになるかについて議論する。プロセスにおいて,著者らは,JSON Schemaの代数的再定式化を定義し,それは,スキーマイットネスを作り出すためのプロトタイプシステムにおいて首尾よく採用した。【JST・京大機械翻訳】

, , , , , ,

応用プログラミング言語

, ,

前のページに戻る