真实世界JSON Schema文档中“Not”用法的实证研究(长版)
数据库
2021-07-20 v1
摘要
在本文中,我们研究JSON Schema数据建模中否定的用法。否定是一种逻辑算子,在类型系统和模式描述语言中很少出现,因为它使判定问题复杂化。因此,许多软件工具以及用于处理JSON Schema的形式化框架并未完全支持否定。迄今为止,覆盖否定是否具有实际意义,抑或主要是一项理论练习(尽管具有挑战性),这一问题尚属开放。这促使我们研究否定是否真正在实践中被使用、用于何种目的,以及原则上它是否可被更简单的算子替代。我们收集了迄今分析过的最为多样的JSON Schema文档语料库,基于对托管于GitHub上的90k个开源模式的爬取。我们执行系统性分析,量化否定的使用模式,并定性分析模式。我们表明否定确实被使用,遵循一组稳定的模式,并有潜力成熟为设计模式。
引用
@article{arxiv.2107.08677,
title = {An Empirical Study on the "Usage of Not" in Real-World JSON Schema Documents (Long Version)},
author = {Mohamed-Amine Baazizi and Dario Colazzo and Giorgio Ghelli and Carlo Sartiani and Stefanie Scherzinger},
journal= {arXiv preprint arXiv:2107.08677},
year = {2021}
}