JSON: Data model and query languages

作者：

Highlights：

• Paper proposes the first formal abstraction for JSON data.

• Also proposes a logic for navigating JSON documents.

• This logic is demonstrated to be a common core for a number of JSON query languages available in industry.

• Study of evaluation and containment of this logic. Surprisingly, some problems end up easier and others more difficult than similar formalisms (such as XML).

摘要

•Paper proposes the first formal abstraction for JSON data.•Also proposes a logic for navigating JSON documents.•This logic is demonstrated to be a common core for a number of JSON query languages available in industry.•Study of evaluation and containment of this logic. Surprisingly, some problems end up easier and others more difficult than similar formalisms (such as XML).

论文关键词：JSON,Schema languages,Navigation

论文评审过程：Received 8 October 2018, Revised 24 October 2019, Accepted 5 November 2019, Available online 6 December 2019, Version of Record 12 December 2019.

论文官网地址：https://doi.org/10.1016/j.is.2019.101478