各种约束下关系模式语言决策问题的分析
An Analysis of Decision Problems for Relational Pattern Languages under Various Constraints
浏览论文内容
中文总结 AI 辅助
本文研究关系模式语言在多种约束下的决策问题，扩展了等价、包含和成员问题的分析，为三个研究方向提供了全面基础。
中文摘要 AI 辅助
模式是由终端符和变量组成的词。一个模式的语言是通过将所有变量统一替换为仅含终端符的词而得到的词的集合。在其原始定义中，模式仅允许某些变量的多个不同出现通过相等关系相关联，这通过多次使用同一变量来表示。在扩展概念中，称为关系模式和关系模式语言，变量可以通过任意其他关系相关联，这通过使用正则模式并独立于模式结构分别关联各个变量来实现。我们将对模式的主要决策问题（即等价问题、包含问题和成员问题）的持续研究扩展到在广泛的相关个体关系下的关系模式语言，为这三个研究方向提供了全面的基础。
英文摘要
Patterns are words with terminals and variables. The language of a pattern is the set of words obtained by uniformly substituting all variables with words that contain only terminals. In their original definition, patterns only allow for multiple distinct occurrences of some variables to be related by the equality relation, represented by using the same variable multiple times. In an extended notion, called relational patterns and relational pattern languages, variables may be related by arbitrary other relations, achieved by using regular patterns and relating individual variables independently from the patterns structure separately. We extend the ongoing investigation of the main decision problems for patterns (namely, the equivalence problem, the inclusion problem, and the membership problem) to relational pattern languages under a wide range of relevant individual relations, providing a comprehensive foundation in all three research directions.
发表机构
- Kiel University（基尔大学）
机构由 AI 辅助整理，请以论文原文为准。
