Questions tagged «descriptive-complexity»

3
SQL捕获
据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}。但是我的问题是,从实践的角度来看,这种语言是否有意义,所以我希望在实践中使用这种语言。如果不是这种情况,并且没有这种语言,那么我想知道是否有某种原因使这种语言从实际角度变得无趣?例如,实践中出现的查询通常是否足够简单,以至于不需要这种语言?

1
连接可以并行化吗?
假设我们要在谓词上加入两个关系。这是在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
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.