JSON模式的否定闭包
Negation-Closure for JSON Schema
摘要：
JSON Schema是描述JSON文档族的一个不断发展的标准。它是一种逻辑语言，基于一组描述分析中JSON值特征的断言，以及这些断言的逻辑或结构组合子，包括否定运算符。大多数带有否定的逻辑语言都享有否定闭包，也就是说，对于每个运算符，它们都有一个表示其否定的否定对偶。我们表明，这不是JSON模式的情况下，我们研究如何改变与草案的最新版本，我们讨论如何相应地丰富语言。在这个过程中，我们定义了一个代数重新表述的JSON模式，我们成功地采用了原型系统生成模式证人。
英文摘要：
JSON Schema is an evolving standard for describing families of JSON documents. It is a logical language, based on a set of assertions that describe features of the JSON value under analysis and on logical or structural combinators for these assertions, including a negation operator. Most logical languages with negation enjoy negation closure, that is, for every operator they have a negation dual that expresses its negation. We show that this is not the case for JSON Schema, we study how that changed with the latest versions of the Draft, and we discuss how the language may be enriched accordingly. In the process, we define an algebraic reformulation of JSON Schema, which we successfully employed in a prototype system for generating schema witnesses.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
