AI辅助查询生成时代的关系型语言设计扩展教程与词汇表
An Extended Tutorial and Vocabulary for Relational Language Design in an Era of AI-Assisted Query Generation
AI总结：
本教程扩展SIGMOD'26教程，围绕递归路径查询等三方面，以示例查询对比不同关系型语言，提供比较框架与设计词汇表，助力理解AI辅助查询生成时代的关系型语言设计
AI中文摘要：
关系型查询语言已被研究和使用超过50年，SQL在实践中占据主导地位。如今，查询越来越多地由机器生成、由人类阅读，同时，该领域还包含数据框（dataframe）、流水线（pipeline）、逻辑、函数、图和关系型编程符号。这些发展引出了两个超越表达能力的相关问题：语言明确了哪些关系型结构，以及符号在多大程度上支持用户阅读和修改查询？本时长3小时的教程在三个方向上扩展了早期SIGMOD'26教程：递归与路径查询（连接关系型与图查询语言）、嵌套关系型数据，以及适用于PTIME之外问题的关系型语言。我们不从形式定义开始，而是从示例查询入手，比较不同语言如何表达相同意图。为比较不同符号的重复结构，我们使用抽象关系演算（Abstract Relational Calculus, ARC）和关系图作为参考表示。基于这些示例，我们开发了关系型语言设计的词汇表，包括信息需求、查询映射、关系型模式结构、关系型模式指称和语义约定。参与者将获得一个用于比较现有和未来关系型语言的框架、一个用于阐明设计权衡的精确词汇表，以及一组将经典数据库语言与替代方案联系起来的具体示例。
英文摘要：
Relational query languages have been studied and used for more than 50 years, with SQL dominant in practice. Today, queries are increasingly generated by machines and read by humans. At the same time, the landscape also includes dataframe, pipeline, logical, functional, graph, and relational programming notations. These developments invite two related questions beyond expressive power: which relational structures do languages make explicit, and how well can notation support users in reading and revising queries? This 3-hour tutorial extends an earlier SIGMOD'26 tutorial in three directions: recursive and path queries (connecting relational and graph query languages), nested relational data, and relational languages for problems beyond PTIME. Rather than beginning from formal definitions, we start from example queries and compare how different languages express the same intent. To compare recurring structure across notations, we use Abstract Relational Calculus (ARC) and Relational Diagrams as reference representations. From these examples, we develop a vocabulary for relational language design, including information need, query mapping, relational pattern structure, relational pattern denotation, and semantic conventions. Participants will leave with a framework for comparing existing and future relational languages, a precise vocabulary for articulating design trade-offs, and a concrete set of examples connecting classical database languages with alternative proposals.
