Systematic Generation of Non-Equivalent Expressions for Relational Algebra
Systematic Generation of Non-Equivalent Expressions for Relational Algebra
复制标题
关系代数非等价表达式的系统生成
DOI：
10.1007/978-3-319-91271-4_8
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Khurshid, Sarfraz
中科院分区：
文献类型：
--
作者：
Wang, Kaiyuan;Sullivan, Allison;Koukoutos, Manos;Marinov, Darko;Khurshid, Sarfraz
关系代数形成多个领域的语义基础，例如，合金模型、OCL约束、UML元模型和SQL查询。这些领域中的合成和修复技术需要有效的过程来生成受关系约束的（非等价的）表达式，例如，集合和关系的类型，它们的基数，表达式的大小，中间表达式的最大元数等。本文介绍了第一个生成器的关系表达式是不等价的关系代数的语义。我们提出的算法，定义我们的发电机，它的实施例的基础上的合金工具集，和实验评估，以显示其非等价生成的各种问题的关系约束的有效性。
Relational algebra forms the semantic foundation in multiple domains, e.g., Alloy models, OCL constraints, UML metamodels, and SQL queries. Synthesis and repair techniques in such domains require an efficient procedure to generate (non-equivalent) expressions subject to relational constraints, e.g., the types of sets and relations, their cardinality, size of expressions, maximum arity of the intermediate expressions, etc. This paper introduces the first generator for relational expressions that are non-equivalent with respect to the semantics of relational algebra. We present the algorithms that define our generator, its embodiment based on the Alloy tool-set, and an experimental evaluation to show the effectiveness of its non-equivalent generation for a variety of problems with relational constraints.