{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2024,5,29]]，“日期-时间”：“2024-05-29T19:48:49Z”，“时间戳”：1717012129746}，“引用-计数”：30，“发布者”：“计算机协会（ACM）”，“问题”：“13”，“内容-域”：{:“域”：[“dl.ACM.org”]，“交叉标记限制”：true}，“short-container-title”：[“Proc.VLDB Endow.”]，“published-print”：{“date-parts”：[[2022,9]]}，“abstract”：“JSON模式是用于JSON文档的模式语言，基于结构运算符、布尔运算符（包括否定）和递归变量的复杂组合。JSON模式文档的静态分析包含实际相关的问题，包括模式可满足性、包含性和等价性。这些问题可以归结为见证生成：给定一个模式，生成该模式的一个元素（如果存在），否则报告失败。模式可满足性、包含性和等价性已被证明是可判定的。然而，还没有正式描述证人生成算法。我们为JSON模式见证生成提供了第一个直接算法，并在几个模式集合（包括数千个真实模式）上的实验中研究了其有效性和效率<\/jats:p>“，”DOI“：”10.14778\/3565838.3565852“，”type“：”journal-article“，”created“：{”date-parts“：[[2023,1,20]]，”date-time“：”2023-01-2T23:09:56Z“，”timestamp“：167425619600}，”page“：“：2，”title“：[”JSON架构的见证生成“]，”前缀“：”10.14778“，”卷“：”15“，”作者“：[{”给定“：”谎言“，”家族“：”阿图斯“，”序列“：”第一“，”从属关系“：[}”名称“：”Universit\u00e9 Paris-Dauphine“}]}，{”给出“：”Mohamed-Amine“，”家庭“：”Baazizi“，”sequence“：”附加“，”附属关系“：[{”名称，“family”：“Colazzo”，“sequence”：“additional”，“附属关系：[｛“name”：“Universit\u00e9 Paris Dauphine”｝]｝，｛“given”：“Giorgio”，“family”：“Ghelli”，“sequence”：“additional”，“附属关系”：[｛“name”：“Universit\u00e0 di Pisa”｝]｝，｛“given”：“Carlo”，“family”：“Sartiani”，“sequence”：“additional”，“附属关系”：[｛“name”：“Universit\u00e0 della Basilicata”｝]｝，｛“given”：“Stefanie”，“family”：“Scherzinger”，“序列”：“additional“，”affiliation“：[{”name“：”Universit\u00e4t Passau“}]}]，”member“：”320“，”published-on-line“：{”date-parts“：[2023,1,20]]}，”reference“：[}”key“：”e_1_2_1_1“，”volume-title“：”JSON Schema Faker。GitHub上的https:\/\/GitHub.com\/JSON-Schema-Faker\/JSON Schema-Faker，以及https:\//JSON-shema-fake上的交互工具er.js.org。检索到“，”年份“：“2022”，”非结构化“：”2022。JSON架构伪造器。GitHub上的https:\/\/GitHub.com/json-schema-faker\/json-sschema-faker以及https:\//json-schma-fakers.js.org上的交互式工具。2022年9月19日检索。2022.JSON模式伪造器。GitHub上的https:\/\/GitHub.com/json-schema-faker\/json-sschema-faker，以及https:\//json-schma-fakert.js.org上的交互式工具。检索日期：2022年9月19日。“}，{“key”：“e_1_1_2_1”，“volume-title”：“json模式验证器。https:\\/GitHub.com/networknt\/json-schema-validator Retrieved”，“year”：“2022”，“unstructured”：“2020”。JSON模式验证器。https:\/\/github.com/networknt\/json-schema-validator于2022年9月19日检索。2022.JSON模式验证器。https:\/\/github.com/networknt\/json-schema-validator已于2022年9月19日检索。“}，{“key”：“e_1_2_1_3_1”，“volume-title”：“https:\//github.com/snowpowl，iglu-central，commit hash 726168e.Retrieved”，“author”：“Analytics Snowflow”，“year”：“2022”，“unstructured”：“Snowpow Analytics.2022”。伊格鲁中心。https:\/\/github.com/snowpowl\/iglu-central，提交哈希726168e。2022年9月19日检索。雪流分析。2022.伊格鲁中央。https:\/\/github.com/snowpowl\/iglu-central，提交哈希726168e。2022年9月19日检索。“}，{”key“：”e_1_2_1_4_1“，”volume-title“：”Dario Colazzo，Yunchen Ding，Michael Fruth，Giorgio Ghelli，Carlo Sartiani，and Stefanie Scherzinger“，”author“：”Attouce Lyes“，”year“：”2021“，”unstructured“：”Lyes Attouche、Mohamed Amine Baazizi、Dario Colazzo、Yunchen Ding、Michael Fruth、Giorgio Ghelli、Carlo Sartiani和Stefanie Scherzinger。2021 . 复制包：JSON模式包含测试套件。可从Zenodo网站https:\/\/Zenodo.org\/record\/5336931#获得。YshD0XZBxD8并在GitHub上的https:\/\/GitHub.com//sdbs-uni-p\/json-schema-containment-testsuite上维护。Lyes Attouche、Mohamed Amine Baazizi、Dario Colazzo、Yunchen Ding、Michael Fruth、Giorgio Ghelli、Carlo Sartiani和Stefanie Scherzinger。2021.复制包：JSON模式包含测试套件。可从Zenodo网站https:\/\/Zenodo.org\/record\/5336931#获得。YshD0XZBxD8并在GitHub上的https:\/\/GitHub.com//sdbs-uni-p\/json-schema-containment-testsuite上维护。“}，{”key“：”e_1_1_5_1“，”volume-title“：”Proc.ER“，”author“：”Attouch Lyes“，”year“：”2021“，”unstructured“：”Lyes Attouche，Mohamed Amine Baazizi，Dario Colazzo，Yunchen Ding，Michael Fruth，Giorgio Ghelli，Carlo Sartiani，and Stefanie Scherzinger.2021.JSON模式包含测试套件。Proc.ER 2021。19--24. http://\/ceur-ws.org\/Vol-2958\/paper4.pdf Lyes Attouche、Mohamed Amine Baazizi、Dario Colazzo、Yunchen Ding、Michael Fruth、Giorgio Ghelli、Carlo Sartiani和Stefanie Scherzinger。2021.JSON模式包含测试套件。程序中。2021年。19--24. http:\/\/ceur-ws.org/Vol-2958\/paper4.pdf“｝，｛”键“：”e_1_2_1_6_1“，”卷标题“：”Proc.EDBT 2021“，”作者“：”Attouche Lyes“，”年份“：”2021“，”非结构化“：”Lyes Attouche、Mohamed Amine Baazizi、Dario Colazzo、Francesco Falleni、Giorgio Ghelli、Cristiano Landi、Carlo Sartiani和Stefanie Scherzinger。2021 . JSON模式见证生成工具。程序中。EDBT 2021。694--697. 工具演示。10.5441\/002\/edbt。2021.86 Lyes Attouche、Mohamed Amine Baazizi、Dario Colazzo、Francesco Falleni、Giorgio Ghelli、Cristiano Landi、Carlo Sartiani和Stefanie Scherzinger。2021.JSON模式见证生成工具。程序中。EDBT 2021。694--697. 工具演示。10.5441\/002\/edbt.2021.86“}，{“key”：“e_1_2_1_7_1”，“volume-title”：“BDA.Proc.Actes de la conf\u00e9rence BDA.非正式诉讼”，“author”：“Attouce Lyes”，“year”：“2021”，“unstructured”：“Lyes Attouche、Mohamed-Amine Baazizi、Dario Colazzo、Francesco Falleni、Giorgio Ghelli、Cristiano Landi、Carlo Sartiani和Stefanie Scherzinger。2021 . Un Outil de G\u00e9n\u00e9 Ration de T\u00e 9moins pour les sch\u00o9mas JSON生成JSON模式见证的工具。程序中。会议行为BDA。非正式程序。Lyes Attouche、Mohamed-Amine Baazizi、Dario Colazzo、Francesco Falleni、Giorgio Ghelli、Cristiano Landi、Carlo Sartiani和Stefanie Scherzinger。2021.Un Outil de G\u00e9n\u00e9 Ration de T\u00e 9moins pour les sch\u00e9mas JSON生成JSON模式见证的工具。程序中。巴西存托凭证法案。非正式程序。“}，{”key“：”e_1_1_8_1“，”doi-asserted-by“：”publisher“，“doi”：“10.5281\/zenodo.7106750”}“，{“key”：“e_2_1_9_1”，“volume-title”：“Carlo Sartiani，and Stefanie Scherzinger”，“author”：“Attouce Lyes”，“year”：“2022”，“unstructured”：“”Lyes Attouche、Mohamed-Amine Baazizi、Dario Colazzo、Giorgio Ghelli、Carlo Sartiani和Stefanie Scherzinger。2022 . JSON架构的见证生成。arXiv:2202.12849[cs.DB]随附技术报告可在线获取，网址为https:\/\/arXiv.org\/abs\/2202.12849。Lyes Attouche、Mohamed-Amine Baazizi、Dario Colazzo、Giorgio Ghelli、Carlo Sartiani和Stefanie Scherzinger。2022.JSON架构的见证生成。arXiv:2202.12849[cs.DB]随附技术报告可在线获取，网址：https:\/\/arXiv.org\/abs\/2202.12849.“}，{“key”：“e_1_1_10_1”，“volume-title”：“Proc.EDBT.437-439”，“author”：“Baazizi Mohamed Amine”，“year”：“2019”，“unstructured”：“穆罕默德·阿米恩·巴齐齐（Mohamed Amine Baazizi）、达里奥·科拉佐（Dario Colazzo）、乔治·盖利（Giorgio Ghelli）和卡洛·萨蒂亚尼（Carlo Sartiani）。2019 . JSON数据的模式和类型。程序中。EDBT。437--439 . 穆罕默德·阿米恩·巴齐齐（Mohamed Amine Baazizi）、达里奥·科拉佐（Dario Colazzo）、乔治·盖利（Giorgio Ghelli）和卡洛·萨蒂亚尼（Carlo Sartiani）。2019.JSON数据的模式和类型。程序中。EDBT。437--439.“}，{”key“：”e_1_2_1_11_1“，”volume-title“：”Proc.SIGMOD Conference.2060--2063“，”author“：”Baazizi Mohamed Amine“，”year“：”2019“，”unstructured“：”穆罕默德·阿米恩·巴齐齐（Mohamed Amine Baazizi）、达里奥·科拉佐（Dario Colazzo）、乔治·盖利（Giorgio Ghelli）和卡洛·萨蒂亚尼（Carlo Sartiani）。2019 . JSON数据的模式和类型：从理论到实践。程序中。SIGMOD会议。2060--2063 . 穆罕默德·阿米恩·巴齐齐（Mohamed Amine Baazizi）、达里奥·科拉佐（Dario Colazzo）、乔治·盖利（Giorgio Ghelli）和卡洛·萨蒂亚尼（Carlo Sartiani）。2019.JSON数据的模式和类型：从理论到实践。程序中。SIGMOD会议。2060--2063.“}，{”key“：”e_1_2_1_12_1“，”volume-title“：”Proc.Actes de la conf\u00e9rence BDA.非正式会议，在线文章https:\/\/hal.archives-ouvertes.fr\/hal-03190106\/document“，”author“：”Baazizi Mohamed-Amine“，”year“：”2020“，”unstructured“：”Mohamed Amine Baazizi、Dario Colazzo、Giorgio Ghelli、Carlo Sartiani和Stefanie Scherzinger。2020 . JSON模式的非消除和见证生成。程序中。巴西存托凭证法案。非正式会议记录，文章在线阅读https:\/\/hal.archives-ouvertes.fr\/hal-03190106\/document。穆罕默德·阿米·巴齐齐（Mohamed-Amine Baazizi）、达里奥·科拉佐（Dario Colazzo）、乔治·盖利（Giorgio Ghelli）、卡洛·萨蒂亚尼（Carlo Sartiani）和斯特凡妮·谢辛格（Stefanie Scherzinger）。2020年。JSON模式的非消除和见证生成。程序中。巴西存托凭证法案。非正式会议记录，文章在线阅读https:\/\/hal.archives-ouvertes.fr\/hal-03190106\/document。“}，{”key“：”e_1_1_13_1“，”doi-asserted-by“：”publisher“，“doi”：“10.5281\/zenodo.5141199”}“，{“key”：“e_2_1_14_1”，“volume-title”：“Carlo Sartiani，and Stefanie Scherzinger”，“author”：“Baazizi Mohamed-Amine”，“year”：“2022”，“unstructured”：“”Mohamed Amine Baazizi、Dario Colazzo、Giorgio Ghelli、Carlo Sartiani和Stefanie Scherzinger。2022 . JSON架构的否定-关闭。arXiv:2202.13434[cs.DB]随附技术报告，在线https:\/\/arXiv.org\/abs\/2202.13434。穆罕默德·阿米·巴齐齐（Mohamed-Amine Baazizi）、达里奥·科拉佐（Dario Colazzo）、乔治·盖利（Giorgio Ghelli）、卡洛·萨蒂亚尼（Carlo Sartiani）和斯特凡妮·谢辛格（Stefanie Scherzinger）。2022.JSON架构的否定-关闭。arXiv:2202.13434[cs.DB]随附技术报告，在线获取https:\/\/arXiv.org\/abs\/2202.13434.“}，{“key”：“e_1_2_1_15_1”，“volume-title”：“机器学习自动化程序KDD研讨会(AutoML@KDD). Computing Research Repository abs \/2007”，“author”：“Baudart Guillaume”，“year”：“2020”，“unstructured”：“Guillaum Baudard、Martin Hirzel、Kiran Kate、Parikshit Ram和Avraham Shinnar。2020 . LALE：一致自动机器学习，过程中。KDD机器学习自动化研讨会(AutoML@KDD). 计算研究数据库abs\/2007.01977。https:\/\/arxiv.org\/abs\/2007.01977吉尧姆·鲍达特、马丁·赫泽尔、基兰·凯特、帕里克希特·拉姆和Avraham Shinnar。2020年，LALE：一致自动机器学习，过程中。KDD机器学习自动化研讨会(AutoML@KDD). 计算研究库abs \/2007.01977。https:\/\/arxiv.org\/abs\/2007.01977“}，{“key”：“e_1_2_1_16_1”，“unstructured”：“Jim\n Blackler\n.2022。\n JSON \n生成器\n。\n可从https:\/\/github.com/jimblackler\/jsongenerator获取。检索日期：2022年9月19日。吉姆·布莱克勒。2022.JSON生成器。可在https://github.com\/jimbackler\/jsongenerator上获取。检索日期：2022年9月19日。“}，{”key“：”e_1_2_1_17_1“，”volume-title“：”Proc.PODS.123--135“，”author“：”Bourhis-Pierre“，”year“：”2017“，”unstructured“：”Pierre Bourhis，Juan L。Reutter、Fernando Su\u00e1rez和Domagoj Vrgoc。2017 . JSON：数据模型、查询语言和模式规范。程序中。豆荚。123--135 . 10.1145\/30344786.3056120 Pierre Bourhis、Juan L.Reutter、Fernando Su\u00e1rez和Domagoj Vrgoc。2017.JSON：数据模型、查询语言和模式规范。程序中。豆荚。123--135. 10.1145\/3034786.3056120“}，{“key”：“e_1_2_1_18_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1109\/TC.1986.1676819“}”，{”key“：”e_1_i_19_1“，”unstructured“：”休伯特·科蒙·马克斯·道切特R\u00e9mi吉伦·弗洛伦特·雅克·杰克·马德·丹尼斯·卢吉斯·克里斯托夫L\u00f6ding索菲·蒂森和马克·托马西。2008。树自动机技术与应用。262页。网址：https:\/\/hal.inria.fr\/hal-03367725\/file\/tata.pdf。休伯特·科蒙·马克斯·多切特（Hubert Comon Max Dauchet）、吉伦·弗洛伦·雅克·马德·丹尼斯·卢吉斯·克里斯托夫（Gilleron）、苏菲·蒂森（Sophie Tison）和马克·托马西（Marc Tommasi）。2008年，树自动机技术与应用。262页。网址：https:\/\/hal.inria.fr\/hal-03367725\/file\/tata.pdf。“}，{”key“：”e_1_2_1_20_1“，”volume-title“：”jsonsubschema.https:\/\/github.com/IBM\/jsonsubchema Retrieved“，”author“：”IBM Corp.2021.“，”year“：”2022“，”unstructured“：”IBMCorp.2020“。jsonsubschema公司。https:\/\/github.com//IBM\/jsonsubschema于2022年9月19日检索到。IBM Corp.2021。jsonsubschema公司。https:\/\/github.com/IBM\/jsonsubschema于2022年9月19日检索到。“}，{”key“：”e_1_2_1_21_1“，”volume-title“：”Proc。VLDB的SEA-数据（CEUR研讨会论文集）”，“卷”：“2929”，“作者”：“果子迈克尔”，“年份”：“2021年”，“非结构化”：“迈克尔·果子、凯·道伯施密特和斯特凡妮·谢辛格。2021 . NoSQL模式管理中的新工作流。程序中。VLDB的SEA-数据（CEUR研讨会论文集），第2929卷。CEUR-WS.org，38-39。Michael Fruth、Kai Dauberschmidt和Stefanie Scherzinger。2021.NoSQL模式管理中的新工作流。程序中。VLDB的SEA-数据（CEUR研讨会论文集），第2929卷。CEUR-WS.org，38-39.“}，{“key”：“e_1_2_1_22_1”，“volume-title”：“Proc.ISSTA.620--632”，“author”：“Habib Andrew”，“year”：“2021”，“unstructured”：“Andrew Habib、Avraham Shinnar、Martin Hirzel和Michael Pradel。2021 . 使用JSON子模式检查查找数据兼容性错误。程序中。ISSTA。620--632 . 10.1145 \/3460319.3464796安德鲁·哈比卜、Avraham Shinnar、马丁·赫泽尔和迈克尔·普拉德尔。2021.使用JSON子模式检查查找数据兼容性错误。程序中。ISSTA。620--632. 10.1145\/3460319.3464796“}，{“key”：“e_1_2_1_23_1”，“unstructured”：“Kubernetes.2022。Kubernetes JSON模式。https:\/\/github.com/instrumenta\/kubernetes-json-schema提交散列133f848。库伯内特斯。2022.Kubernetes JSON架构。https:\/\/github.com/instrumenta\/kubernetes-json-schema提交散列133f848.“}，{“key”：“e_1_1_24_1”，“volume-title”：“dk.brics.automon-Finite-State Automata and Regular Expressions for Java”，“author”：“M\u00f8ller Anders”，“year”：“2022”，“unstructured”：“Anders M\u008ller.2021”。dk.brics.automaton——Java的Finite-State自动机和正则表达式。网址：https:\/\/www.brics.dk\/automaton\/。2022年9月19日检索。安德斯·穆勒（Anders M\u00f8ller）。2021.dk.brics.自动机-Java的有限状态自动机和正则表达式。网址：https:\/\/www.brics.dk\/automaton\/。检索日期：2022年9月19日。“}，{”key“：”e_1_2_1_25_1“，”volume-title“：”JSON模式测试套件.https:\/\/github.com/JSON-Schema-org\/JSON-Schema-Test-Suite.Retrieved“，”author“：”Schema org JSON“，”year“：”2022“，”unstructured“：”JON模式组织2022。JSON模式测试套件。https:\/\/github.com/json-schema-org\/json-schema-Test-Suite。2022年9月19日检索。JSON架构组织。2022。JSON模式测试套件。https:\/\/github.com/json-schema-org\/json-schema-Test-Suite。检索日期：2022年9月19日。“}，{”key“：”e_1_2_1_26_1“，”volume-title“：”Proc.WWW.263--273“，”author“：”Pezoa Felipe“，”year“：”2016“，”unstructured“：”Felipe Pezao，Juan L.Reutter，Fernando Su\u00e1rez，Mart\u00edn Ugarte，and Domagoj Vrgoc.2016.JSON模式的基础。摘自Proc.WWW.263--233。Reutter、Fernando Su、Mart Ugarte和Domagoj Vrgoc。2016.JSON架构基础。程序中。WWW.263--273.“}，{“key”：“e_1_2_1_27_1”，“volume-title”：“ans-schema.https:\\/github.com/washingtonpost\/ans-schema，提交哈希abdd6c211。检索“，”作者“：”华盛顿邮报“，”年份“：”2022年“，”非结构化“：”《华盛顿邮报》。2022年，ans-schema。https:\/\/github.com/washingtonpost\/ans-schema，提交哈希abdd6c211。2022年9月19日检索。《华盛顿邮报》。2022年，ans-schema。https:\/\/github.com/washingtonpost\/ans-schema，提交哈希abdd6c211。检索日期：2022年9月19日。“}，{”key“：”e_1_2_1_29_1“，”volume-title“：”https:\/\/bitbucket.org\/vahidi\/jdd\/src\/master\/Retrieved“，”author“：”vahidi Arash“，“year”：“2022”，“unstructured”：“Arash vahidi.2020”。联合国防部。https:\/\/bitbucket.org\/vahidi\/jdd\/src\/master\/于2022年9月19日检索。阿拉什·瓦希迪。2020年，同上。https:\/\/bitbucket.org\/vahidi\/jdd\/src\/master\/检索日期：2022年9月19日。“}，{“key”：“e_1_2_1_30_1”，“unstructured”：“A.Wright H.Andrews和B.Hutton.2019。JSON模式验证：JSON结构验证词汇-draft-handrews-JSON-Schema-Validation-02。技术报告。互联网工程任务组。https:\/\/tools.ietf.org\/html\/draft-handrews-json-schema-validation-02于2022年9月19日检索。A.Wright H.Andrews和B.Hutton。2019.JSON模式验证：JSON结构验证词汇-draft-handrews-JSON-Schema-Validation-02。技术报告。互联网工程任务组。https:\/\/tools.ietf.org\/html\/draft-handrews-json-schema-validation-02于2022年9月19日检索。“}，{“key”：“e_1_2_1_31_1”，“unstructured”：“A.Wright G.Luff和H.Andrews，2017。JSON模式验证：JSON结构验证词汇-draft-wright-JSON-Schema-Validation-01。技术报告。互联网工程任务组。https:\/\/tools.ietf.org\/html\/draft-wright-json-schema-validation-01于2022年9月19日检索。A.Wright G.Luff和H.Andrews。2017.JSON模式验证：JSON结构验证词汇-draft-wright-JSON-Schema-Validation-01。技术报告。互联网工程任务组。https://tools.ietf.org/html\/draft-wright-json-schema-validation-01检索于2022年9月19日相似性检查“}”，“存放”：{“日期部分”：[[2023,1,20]]，“日期时间”：“2023-01-20T23:14:50Z”，“时间戳”：1674256490000}，“分数”：1，“资源”：}“主要”：{“URL”：“https:\\/dl.acm.org\/doi\/10.14778\/3565838.3565852”}}，”副标题：[]，“短标题”：[]}，“references-count”：30，“journal-issue”：{“issue”：“13”，“published-print“：{“date-parts”：[[2022,9]]}}，“alternative-id”：[“10.14778\/3565838.3565852”]，“URL”：“http://\/dx.doi.org\/10.14778\/3565838.5852”，“relation”：{}，”ISSN“：[“2150-8097”]，”ISSN-type“：[{”value“：”2150-80.97“，”type“:”print“}]，”subject“：【】，”published“：rts“：[[2022,9]]}，”断言“：[{”值“：”2023-01-20“，”顺序“：2，”名称“：”发布“，”标签“：”已发布“，”组“：{“name”：“publication_history”，“label”：“publication history”}}]}}