关于逻辑语句与关系查询的图形化表示逾百年历史的综合教程
A Comprehensive Tutorial on over 100 Years of Diagrammatic Representations of Logical Statements and Relational Queries
AI总结：
本教程系统梳理了逾百年来逻辑语句与关系查询的图形化表示方法，通过将视觉隐喻映射到关系代数和关系演算，帮助用户理解复杂查询。
摘要：
查询表述越来越多地由需要猜测用户意图的系统执行（例如通过语音接口）。但用户如何知道计算智能体正在返回“正确”查询的答案？更一般地说，鉴于关系查询可能变得相当复杂，我们如何帮助用户理解关系查询，无论其是人类生成还是自动生成的？现在似乎是重新审视一个早于关系模型诞生的话题的正确时机：开发帮助用户理解关系查询的视觉隐喻。本讲座式教程综述了为逻辑语句和关系表达式的图形化表示而开发的关键视觉隐喻，涵盖关系数据库社区以及历史更为悠久的图形化推理社区。我们综述了关系完备的关系查询图形化表示的历史与最新进展，讨论了一个多世纪以来图形化语言研究中发展的关键视觉隐喻，并通过将图形化表示系统的视觉字母表映射到关系代数（RA）和关系演算（RC）的语法与语义来梳理整体格局。教程网站：https://northeastern-datalab.github.io/diagrammatic-representation-tutorial/
英文摘要：
Query formulation is increasingly performed by systems that need to guess a user's intent (e.g. via spoken word interfaces). But how can a user know that the computational agent is returning answers to the "right" query? More generally, given that relational queries can become pretty complicated, how can we help users understand relational queries, whether human-generated or automatically generated? Now seems the right moment to revisit a topic that predates the birth of the relational model: developing visual metaphors that help users understand relational queries. This lecture-style tutorial surveys the key visual metaphors developed for diagrammatic representations of logical statements and relational expressions, across both the relational database and the much older diagrammatic reasoning communities. We survey the history and state-of-the-art of relationally-complete diagrammatic representations of relational queries, discuss the key visual metaphors developed in over a century of investigations into diagrammatic languages, and organize the landscape by mapping the visual alphabets of diagrammatic representation systems to the syntax and semantics of Relational Algebra (RA) and Relational Calculus (RC). Tutorial website: https://northeastern-datalab.github.io/diagrammatic-representation-tutorial/
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
