关系图：一种保持模式的非析取关系查询的图形化表示

通过逻辑表达性来分析关系语言已被充分理解。而关系查询模式这一模糊概念却未被充分理解甚至未被形式化。什么是查询模式？我们如何跨不同的关系语言推理查询模式，而不论其语法以及过程是声明式还是过程式？本文通过查询的关系原子间保持模式的映射的一种变体，形式化了查询模式的概念。该形式化使我们能够分析关系查询语言的相对模式表达性，并建立一个具有相等逻辑表达性但不同模式表达性的语言层次结构。在该分析中，关系演算能表达比关系代数基本算子更多的模式。我们还贡献了一种直观、完备且可靠的安全关系演算的图形化表示，它不仅关系完备，而且能为大型且实用的非析取关系演算片段表达所有逻辑模式。在我们所知的所有关系查询图形化表示中，这是唯一一个关系完备且能在非析取片段中表示所有逻辑模式的表示。