马克·吉森;海林斯,杰尔;简·帕雷登斯;德克·范·古赫特;杰夫·威森;吴玉清 对称查询的计算。 (英语) Zbl 1423.68139号 J.计算。系统。科学。 105, 54-86 (2019). 总结:对称查询作为对对象集合序列的查询引入,对象集合的结果不依赖于集合的顺序。提出了合适的数据模型,并引入了两种查询语言,奎因CALC和SyCALC公司它们分别与对称布尔关系函数相关。前一个相关性产生了基于事件的标准形式奎因CALC查询。更普遍地说,我们建议仅计数这些查询SyCALC公司查询仅依赖于关联信息的结果,并将其特征化为奎因CALC查询。对它们也提出了一种正规形式。事实证明,无法确定SyCALC公司查询是仅计数的,但可以确定仅计数查询是否为奎因CALC查询。最后,考虑了一些经典的可判定性问题,这些问题对于SyCALC公司,但可以决定奎因CALC和仅计数查询。 引用于1文件 MSC公司: 第68页,共15页 数据库理论 03B70号 计算机科学中的逻辑 68第05页 数据结构 关键词:bagof-set数据模型;对称查询;二阶逻辑;二阶关系演算;对称布尔函数;对称关系函数;仅计数查询;标准形;可表达性;可满足性 软件:MapReduce;SPARQL公司 PDF格式BibTeX公司 XML格式引用 \textit{M.Gyssens}等人,J.Compute。系统。科学。105、54-86(2019年;Zbl 1423.68139) 全文: 内政部 链接 参考文献: [1] 古铁雷斯,C。;Hurtado,C.A。;门德尔松,A.O。;Pérez,J.,《语义网络数据库基础》,J.Compute。系统。科学。,77, 3, 520-541 (2011) ·Zbl 1215.68091号 [2] 佩雷斯,J。;阿雷纳斯,M。;Gutierrez,C.,SPARQL的语义和复杂性,ACM Trans。数据库系统。,34, 3, 16 (2009) [3] 万维网联盟(W3C),RDF当前状态 [4] 阿格拉瓦尔,R。;伊米林斯基,T。;Swami,A.N.,大型数据库中项目集之间的关联规则挖掘,(Buneman,P.;Jajodia,S.,《1993年ACM SIGMOD国际数据管理会议论文集》,1993年ACM-SIGMOD-国际数据管理大会论文集,美国华盛顿特区,1993年5月25日至28日(1993)),207-216 [5] 杨海川。;Dasdan,A。;萧,R.-L。;Stott Parker,D.,Map-reduce-merge:大型集群上的简化关系数据处理,(Chan,C.Y.;Ooi,B.C.;Zhou,A.,《2007年ACM SIGMOD国际数据管理会议论文集》,2007年6月12日至14日(2007),中国北京,1029-1040 [6] 迪恩,J。;Ghemawat,S.,MapReduce:大型集群上的简化数据处理,Commun。ACM,51,1,107-113(2008) [7] 古德里奇,M.T。;Sitchinava,N。;Zhang,Q.,MapReduce框架中的排序、搜索和模拟,(Asano,T.;Nakano,S.-I.;Okamoto,Y.;Watanabe,O.,《第22届算法与计算国际研讨会论文集》,ISAAC 2011,日本横滨,2011年12月5日至8日。第22届算法与计算国际研讨会论文集。第22届算法与计算国际研讨会论文集,ISAAC 2011,日本横滨,2011年12月5日至8日,计算机科学讲义,第7074卷(2011),Springer),374-383·兹比尔1350.68085 [8] Lämmel,R.,谷歌的MapReduce编程模型重新访问,科学。计算。程序。,70, 1, 1-30 (2008) ·Zbl 1129.68414号 [9] Goethals,B.,《频繁模式挖掘调查》(2003),赫尔辛基大学,理工大学。 [10] 罗素,S。;Norvig,P.,《人工智能:现代方法》(2010),皮尔逊出版社 [11] 范德瓦尔登,B.L.,《代数:第一卷》(1970),弗雷德里克·昂加出版公司。 [12] 米德·D·牛顿恒等式,美国数学。周一。,99, 8, 749-751 (1992) ·Zbl 0794.05128号 [13] Lang,S.,《线性代数》(1987),施普林格 [14] Audemard,G。;迷宫,B。;Sais,L.,《处理量化布尔公式中的对称性》,(第七届可满足性测试理论与应用国际会议,SAT 2004,加拿大不列颠哥伦比亚省温哥华,在线论文集(2004)) [15] Canteaut,A。;Videau,M.,对称布尔函数,IEEE Trans。《信息论》,51,8,2791-2811(2005)·Zbl 1264.94094号 [16] 奎因,W.V.,《逻辑论文选集》(1995),哈佛大学出版社 [17] 托马斯·S·J。;Fischer,P.C.,嵌套关系结构,高级计算。第3269-307号决议(1986年) [18] Wong,L.,查询语言在集合类型上的范式和保守属性,(Beeri,C.,第13届ACM SIGACT-SIGMOD-SIGART数据库系统原理研讨会论文集(PODS 1994)。第13届ACM SIGACT-SIGMOD-SIGART数据库系统原理研讨会论文集(PODS 1994),美国华盛顿特区,1993年5月25日至28日),26-36 [19] Abiteboul,S。;Beeri,C.,《语言处理复杂值的力量》,VLDB J.,4,4,727-794(1995) [20] 萨拉西,V。;萨克斯顿,L。;Van Gucht,D.,《用于并行查询处理和优化的基于对象的代数》(1992),印第安纳大学计算机科学,技术代表368 [21] Gyssens,M。;Paredaens,J。;Van Gucht,D。;Wijsen,J。;Wu,Y.,对称查询研究方法,Proc。荷兰VLDB。,7, 1, 25-36 (2013) [22] Hellings,J。;Gyssens,M。;Van Gucht,D。;Wu,Y.,一阶可定义仅计数查询,(Ferrarotti,F.;Woltran,S.,信息和知识系统基础——第十届国际研讨会(FoIKS 2018),匈牙利布达佩斯,2018年5月14日至18日,会议记录。信息和知识系统基础第十届国际研讨会(FoIKS 2018),匈牙利布达佩斯,2018年5月14日至18日,《计算机科学讲义》,第10833卷(2018),施普林格出版社,225-243·Zbl 1508.68089号 [23] Chandra,A.K。;Harel,D.,关系数据库的可计算查询,J.Compute。系统。科学。,2156-178(1980年)·Zbl 0456.68128号 [24] Abiteboul,S。;船体,R。;维亚努,V.,《数据库基础》(1995),艾迪森·韦斯利·Zbl 0848.68031号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。