数据库查询语言可实现高效查询

在关系数据库的流行查询语言中，似乎可以创建需要大量资源来回答的查询。在实践中，数据库管理员通过限制每个查询的内存量并检查是否存在长时间运行的查询（如果数据库速度变慢）来进行管理。这似乎是临时的，是否有TCS解决方案？

是否存在只能实现高效查询的查询语言？

如果没有这种语言，是否有理论上的原因？

我可能希望这类事物存在或至少存在的一些原因是有道理的：

• 我们有专门设计用于仅实现有效计算的编程语言（通常通过在其类型系统中使用一些限制性逻辑）
• 流行的查询语言（例如SQL）已经受到逻辑的启发，因此对于数据库用户来说，考虑使用更多限制性逻辑似乎并不困难。
• 一个非恶意数据库用户已经尝试准备快速执行的查询，因此我们应该期望这些限制性更强的查询语言只会阻碍恶意用户。

这个问题的灵感来自于前面两个问题的交集：

用于高效计算的编程语言

考虑到答案查找的理论指数复杂性（以查询的大小为单位），为什么关系数据库根本无法工作？

查看数据库查询语言的一种方法是通过演绎数据库的视角，其中查询被表示为逻辑程序。在这种情况下，与您的问题最相关的工作是McAllester的“静态分析的复杂性分析”，它观察到您可以通过推理规则中的“前缀触发”次数来推理查询的运行时间。程序。“前缀触发”的操作并不是很复杂，但是我会为此向您介绍该文件。

在函数式编程世界中，这种事情称为成本语义：这并不意味着您只能实现高效的查询（程序），而是意味着您可以以合理的方式推理声明式程序的渐近复杂性。

后来，有关McAllester思想实现的一些工作包括：从数据记录规则到具有时间和空间保障的高效程序（Liu和Stoller）和Dedalus：时空数据记录（Alvaro，Marczak，Conway，Hellerstein，Maier和Sears）。但是，我承认我尚未阅读这两篇论文中的后者。