Questions tagged «descriptive-complexity»

据Immerman，与相关联的复杂类SQL查询是完全类的安全的查询在Q(FO(COUNT))Q(FO(COUNT))\mathsf{Q(FO(COUNT))}（一阶查询加计数操作者）：SQL捕获安全查询。（换句话说，所有SQL查询具有复杂Q(FO(COUNT))Q(FO(COUNT))\mathsf{Q(FO(COUNT))}，并且在所有的问题Q(FO(COUNT))Q(FO(COUNT))\mathsf{Q(FO(COUNT))}可以表示为一个SQL查询。） 基于此结果，从理论上讲，存在许多可以有效解决但在SQL中无法表达的有趣问题。因此，仍然有效的SQL扩展似乎很有趣。所以这是我的问题： 是否有SQL的扩展（在行业中实现和使用），它可以捕获PP\mathsf{P}（即可以表示所有多项式时间可计算查询，而不能表示其他查询）？ 我想要一种满足所有三个条件的数据库查询语言。这是很容易定义的扩展，它会扩展SQL和将捕获PP\mathsf{P}。但是我的问题是，从实践的角度来看，这种语言是否有意义，所以我希望在实践中使用这种语言。如果不是这种情况，并且没有这种语言，那么我想知道是否有某种原因使这种语言从实际角度变得无趣？例如，实践中出现的查询通常是否足够简单，以至于不需要这种语言？

20 database-theory  complexity-theory  finite-model-theory  descriptive-complexity 

假设我们要在谓词上加入两个关系。这是在NC吗？ 我意识到，证明它不在NC中就等于证明，因此我将接受它是一个开放性问题的证据作为答案。P≠ NCP≠ñCP\not=NC 我对一般情况和特定情况都感兴趣（例如，可能具有某些特定的数据结构，可以将其并行化）。 编辑：将评论中的一些澄清带入这篇文章： 我们可以考虑等值。在单个处理器上，基于哈希的算法在，这是我们能做的最好的事情，因为我们必须读取每个集合一。X = 乙。ÿ一个。X=乙。ÿA.x = B.yO （| A | + | B |）Ø（|一个|+|乙|）O(|A|+|B|) 如果谓词是一个“黑匣子”，我们必须检查每对，则配对，而每个配对都可能存在或不存在，因此有可能性。检查每一对将可能性减半，所以我们能做的最好的就是。| A | ⋅ | B ||一个|⋅|乙||A|\cdot|B|2一b2一个b2^{ab}O （a b ）Ø（一个b）O(ab) 是否可以将其中的一个（或某些第三种类型的连接）改进为在多个处理器上？日志ķñ日志ķ⁡ñ\log^k n

9 complexity-theory  time-complexity  parallel-computing  database-theory  descriptive-complexity