×
苗东晶;刘贤民;李建忠

抽样查询反馈的复杂性限制了功能依赖冲突的数据库修复。 （英语） Zbl 1332.68042号

西奥。计算。科学。 609，第3部分，594-605（2016）.
摘要：不一致的数据库是违反完整性约束的数据库实例。不一致数据库的修复是最大一致子集。从维修空间取样是一种满足许多应用需求的替代方法。本文介绍了一类新的修复方法，即基于用户见证查询的反馈的查询反馈限制修复。我们首先绘制数据图，并结合不同情况下修复存在问题的复杂性，以确定棘手的情况。特别地，我们证明了如果查询是投影或并集查询，那么决策问题是NP-完成; 更糟糕的是，如果查询是一个联合查询，那么决策问题就变成了\（\Sigma2^{\mathrm{P}}\）-完成然而，我们证明了当见证查询是选择连接查询时，修复存在问题的组合复杂度在LOGSPACE中，并且该结论还暗示了无副作用删除传播问题在组删除下是在LOGSPACE中，这在以前的工作中没有考虑。此外，我们还提供了一种组合复杂度下的多项式随机修复采样算法。最后，我们再次访问密钥保留条件[1]，并表明它将简化问题，即某些情况对于某些保留密钥的视图是可处理的，而不是那些不保留密钥的视图。

引用于11文件

MSC公司：

第68页，共15页 数据库理论
2017年第68季度 问题的计算难度（下限、完备性、近似难度等）
65年第68季度 算法和问题复杂性分析

关键词：

修理取样;数据库;复杂性
PDF格式BibTeX公司 XML格式引用
\textit{D.Miao}等人，Theor。计算。科学。609，第3部分，594-605（2016；兹bl 1332.68042）
全文： 内政部

参考文献：

[1] 聪，G。；风扇，W。；Geerts，F。；李，J。；Luo，J.，关于视图更新分析的复杂性及其在注释传播中的应用，IEEE Trans。知识。数据工程，24，3，506-519（2012）
[2] 斯塔奥维，S。；乔米奇，J。；Marcinkowski，J.，关系数据库中的优先修复和一致查询应答，《数学年鉴》。Artif公司。智力。，64, 2-3, 209-246 (2012) ·Zbl 1250.68099号
[3] Abiteboul，S。；赫尔，R。；维亚努，V.，《数据库基础》（1995），艾迪森·韦斯利·Zbl 0848.68031号
[4] 波汉农，P。；风扇，W。；Geerts，F。；贾，X。；Kementsietsidis，A.，数据清洗的条件函数依赖，（IEEE第23届国际数据工程会议，IEEE第二十三届国际数据工程学会议，2007年ICDE，IEEE），746-755
[5] 贝斯卡莱斯，G。；伊利亚斯，I.F。；Golab，L。；Galiullin，A.，《从条件功能依赖违规的修复中取样》，VLDB J.，23，1，103-128（2014）
[6] Vardi，M.Y.，关系查询语言的复杂性（扩展摘要），（第十四届美国计算机学会计算理论年会论文集。第十四届美国计算机学会计算理论年会论文集，STOC’82（1982），美国计算机学会：美国计算机学会纽约，纽约），137-146
[7] Papadimitriou，C.H.，《计算复杂性》（1994），Addison-Wesley·Zbl 0833.68049号
[8] Garey，M.R。；Johnson，D.S.，《计算机与难处理性：NP-完全性理论指南》（1979），W.H.Freeman&Co.：W.H.Freeman&Co.纽约，纽约，美国·Zbl 0411.68039号
[9] Buneman，P。；Khanna，S。；Tan，W.-C，关于通过视图传播删除和注释，（第二十一届ACM SIGMOD-SIGACT-SIGART数据库系统原理研讨会论文集。第二十一届ACM SIGMOD-SIGACT-SIGART数据库系统原理研讨会论文集，PODS’02（2002），ACM:ACM纽约，纽约，美国），150-158
[10] Kimelfeld，B。；冯德拉克，J。；伍德拉夫，D.P.，《多重删除传播：近似和复杂性》，Proc。荷兰VLDB。，6, 13, 1558-1569 (2013)
[11] 波哈农，P。；风扇，W。；M.Flaster。；Rastogi，R.，通过价值修正修复约束的基于成本的模型和有效启发式，（2005年ACM SIGMOD国际数据管理会议论文集。2005年ACM-SIGMOD-国际数据管理大会论文集，SIGMOD'05（2005），ACM:ACM纽约，美国纽约州），143-154
[12] 聪，G。；风扇，W。；Geerts，F。；贾，X。；Ma，S.，《改善数据质量：一致性和准确性》，（第33届超大数据库国际会议论文集，第33届特大数据库国际会议文献集，2007年VLDB，VLDB捐赠），315-326
[13] Lopatenko，A。；Bravo，L.，修复不一致数据库的有效近似算法，（IEEE第23届国际数据工程会议，IEEE第二十三届国际数据工程学会议，2007年ICDE，IEEE），216-225
[14] 乔米奇，J。；Marcinkowski，J.，使用元组删除的最小更改完整性维护，Inform。和计算。，197, 1/2, 90-121 (2005) ·Zbl 1075.68022号
[15] 蒋，F。；Miller，R.J.，《数据和约束修复的统一模型》，（IEEE第27届国际数据工程会议，IEEE第二十七届国际数据工程学会议，ICDE’11（2011），IEEE），446-457
[16] Lopatenko，A。；Bertossi，L.，基于基数和增量修复语义下数据库中一致查询应答的复杂性，（第十一届数据库理论国际会议论文集。第十一届国际数据库理论会议论文集，2007（2006），Springer-Verlag:Springer-Verlag Berlin，Heidelberg），179-193
[17] Wijsen，J.，用于一致查询应答的数据库修复简明表示法，（第九届数据库理论国际会议论文集。第九届国际数据库理论会议论文集，ICDT'03（2002），Springer-Verlag:Springer-Verlag London，UK），378-393·Zbl 1022.68041号
[18] 阿雷纳斯，M。；贝托西，L。；Chomicki，J.，《不一致数据库中的一致查询答案》，（第十八届ACM SIGMOD-SIGACT-SIGART数据库系统原理研讨会论文集。第十八届ASM SIGMOD-SIGACT数据库系统原理会议论文集，PODS’99（1999），ACM：美国纽约州ACM），68-79
[19] 福克斯曼，A。；Miller，R.J.，《不一致数据库的一阶查询重写》，J.Compute。系统科学。，73, 4, 610-635 (2007) ·Zbl 1112.68042号
[20] Afrati，F.N。；Kolaitis，P.G.，《不一致数据库中的修复检查：算法和复杂性》，（第十二届数据库理论国际会议论文集。第十二届国际数据库理论会议论文集，ICDT’09（2009），ACM：美国纽约州纽约市ACM），31-41
[21] Cosmadakis，S.S。；Papadimitriou，C.H.，关系视图的更新，美国计算机学会，31，4，742-760（1984）·Zbl 0632.68095号
[22] Lechtenbörger，J。；Vossen，G.，关于关系视图补语的计算，ACM Trans。数据库系统。，28, 2, 175-208 (2003)
[23] Bancilhon，F.公司。；Spyratos，N.，更新关系视图的语义，ACM Trans。数据库系统。，6, 4, 557-575 (1981) ·Zbl 0465.68059号
[24] Kimelfeld，B。；冯德拉克，J。；Williams，R.，删除传播中最大化合取视图，ACM Trans。数据库系统。，37, 4, 24:1-24:37 (2012)
[25] Kimelfeld，B.，《具有功能依赖性的删除传播复杂性的二分法》，（第31届数据库系统原理研讨会论文集。第31届数据系统原理研讨会文献集，PODS’12（2012），ACM:美国纽约州纽约市ACM），191-202
[26] Keller，A.M.，将视图更新转换为涉及选择、投影和连接的视图的数据库更新的算法，（第四届ACM SIGACT-SIGMOD数据库系统原理研讨会论文集。第四届AC M SIGACT SIGMOD数据库系统原则研讨会论文集，PODS’85（1985），ACM:ACM纽约，美国纽约州），154-163
[27] 波汉农，A。；皮尔斯，公元前。；Vaughan，J.A.，《关系透镜：可更新视图的一种语言》，（第二十五届ACM SIGMOD-SIGACT-SIGART数据库系统原理研讨会论文集
[29] Dayal，U。；Bernstein，P.A.，《关于关系视图上更新操作的正确翻译》，ACM Trans。数据库系统。，7, 3, 381-416 (1982) ·Zbl 0488.68067号
[30] Klug，A.C.，关系表达式的计算约束，ACM Trans。数据库系统。，5, 3, 260-290 (1980) ·Zbl 0441.68119号
[31] Klug，A.C.公司。；Price，R.，使用tableaux确定视图依赖性，ACM事务。数据库系统。，7, 3, 361-380 (1982) ·Zbl 0488.68068号
[32] 风扇，W。；马，S。；胡，Y。；刘杰。；Wu，Y.，用条件传播函数依赖，Proc。荷兰VLDB。，1, 1, 391-407 (2008)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。