用于概念模式验证的显著性示例生成
数据库
2021-05-21 v1
摘要
本报告基于使用具体示例来验证概念模式，尤其是基数约束的思想。当 ORM 初学者对领域进行建模时，为关系类型选取恰当的基数约束往往容易出错。本报告提出一种为选定子模式生成显著性示例的机制。所生成的示例之显著性在于，它们展示了就所涉关系类型上的基数约束而言被允许的可能实例组合。本报告首先简要非正式地讨论基本思想，随后给出一种用于选择待生成示例实例的子模式的语法机制，接着给出实际的示例生成算法本身。我们还将作为附带成果给出一个算法，该算法通过计算可用于填充模式中类型的实例数量来检测概念模式中可能的缺陷。
引用
@article{arxiv.2105.09561,
title = {Generating Significant Examples for Conceptual Schema Validation},
author = {H. A. Proper},
journal= {arXiv preprint arXiv:2105.09561},
year = {2021}
}