关于逻辑语句和关系查询的图解表示超过100年的综合教程
数据库
2024-04-02 v1 计算机科学中的逻辑
摘要
查询公式化越来越多地由需要猜测用户意图的系统执行（例如通过语音界面）。但是用户如何知道计算代理返回的是“正确”查询的答案？更一般地说，鉴于关系查询可能变得相当复杂，我们如何帮助用户理解关系查询，无论是人类生成的还是自动生成的？现在似乎是重新审视一个早于关系模型诞生的话题的合适时机：开发帮助用户理解关系查询的视觉隐喻。这个讲座式教程调查了为逻辑语句和关系表达式的图解表示而开发的关键视觉隐喻，涵盖了关系数据库和更古老的图解推理社区。我们调查了关系完备的关系查询图解表示的历史和最新进展，讨论了一个多世纪以来对图解语言的研究中开发的关键视觉隐喻，并通过将图解表示系统的视觉字母表映射到关系代数（RA）和关系演算（RC）的语法和语义来组织该领域。教程网站：https://northeastern-datalab.github.io/diagrammatic-representation-tutorial/
引用
@article{arxiv.2404.00007,
title = {A Comprehensive Tutorial on over 100 Years of Diagrammatic Representations of Logical Statements and Relational Queries},
author = {Wolfgang Gatterbauer},
journal= {arXiv preprint arXiv:2404.00007},
year = {2024}
}
备注
6 pages, 2 figures, preprint of ICDE 2024 tutorial. arXiv admin note: substantial text overlap with arXiv:2308.10319