×

从XML文档推断松弛NG模式。 (英语) Zbl 1443.68047号

Dediu,Adrian-Horia(编辑)等人,《语言和自动机理论与应用》。2016年3月14日至18日在捷克共和国布拉格举行的2016年拉丁美洲旅游协会第十届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9618, 400-411 (2016).
摘要:XML模式指定了从该模式生成的XML文档的结构属性,因此有助于有效地管理XML数据。然而,在实践中,通常存在没有有效模式或模式不正确的XML文档。这使我们研究了从一组XML文档中推断Relax NG模式的问题,这些文档可能是从特定的XML模式中生成的。Relax NG是为下一代XML模式语言(如文档类型定义(DTD)和XML模式定义(XSD))开发的XML模式语言。常规对冲语法接受常规树语言,Relax NG的设计与常规对冲语法密切相关。我们使用对冲文法开发了一个XML模式推理系统。在检索简洁的Relax NG模式的过程中,我们使用了遗传算法和状态消除启发式。我们使用真实世界的基准测试来展示实验结果。
关于整个系列,请参见[Zbl 1331.68010号].

MSC公司:

第68页,共15页 数据库理论
2012年第68季度 语法和重写系统
65年第68季度 形式语言和自动机
68T20型 人工智能背景下的问题解决(启发式、搜索策略等)

软件:

放松NG
PDF格式BibTeX公司 XML格式引用
全文: 内政部