×

对称查询的计算。 (英语) Zbl 1423.68139号

总结:对称查询作为对对象集合序列的查询引入,对象集合的结果不依赖于集合的顺序。提出了合适的数据模型,并引入了两种查询语言,奎因CALCSyCALC公司它们分别与对称布尔关系函数相关。前一个相关性产生了基于事件的标准形式奎因CALC查询。更普遍地说,我们建议仅计数这些查询SyCALC公司查询仅依赖于关联信息的结果,并将其特征化为奎因CALC查询。对它们也提出了一种正规形式。事实证明,无法确定SyCALC公司查询是仅计数的,但可以确定仅计数查询是否为奎因CALC查询。最后,考虑了一些经典的可判定性问题,这些问题对于SyCALC公司,但可以决定奎因CALC和仅计数查询。

MSC公司:

第68页,共15页 数据库理论
03B70号 计算机科学中的逻辑
68第05页 数据结构
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

参考文献:

[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的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。