×
菲利波·富法罗;塞尔吉奥·格雷科;克里斯蒂安·莫里纳罗

用于查询和修复不一致数据库的三值语义。 （英语） Zbl 1138.68031号

安。数学。Artif公司。智力。 51，第2-4号，167-193（2007）.
摘要：在过去几年中，管理和查询不一致数据库的问题得到了深入的研究。由于一致性查询应答问题在一般情况下很难解决，因此迄今为止提出的大多数技术都具有指数复杂性。多项式技术仅针对受限形式的约束（如函数依赖）和查询提出。本文提出了一种在多项式时间内计算“近似”一致答案的技术，该技术适用于广泛的约束（即完全约束）和数据日志查询。该方法基于一种修复策略，允许更新操作为元组的“可靠性”分配未定义的真值，并允许更新插入或删除元组。可以将修复结果视为满足指定约束的三值数据库。在这方面，为三值数据库上下文中的约束满足引入了一种新的语义（即部分语义），旨在捕捉三值逻辑下约束的直观含义。研究表明，为了计算“近似”一致的查询答案，通过考虑唯一修复（称为确定性修复）来评估查询就足够了，该修复在某种意义上“总结”了所有可能的修复。这样得到的答案在安全的意义上是“近似的”（在经典的二值语义下，答案中的真原子和假原子分别是真原子和假原子），但不是完整的。

引用于三文件

MSC公司：

第68页，共15页 数据库理论

关键词：

三值语义;正在查询;数据库

软件：

XSB公司;斯莫德尔斯
PDF格式BibTeX公司 XML格式引用
\textit{F.Furfaro}等人，《数学年鉴》。Artif公司。智力。51，No.2--4，167--193（2007；Zbl 1138.68031）
全文： 内政部

参考文献：

[1] Abiteboul，S.，Hull，R.，Vianu，V.：数据库基础。Addison-Wesley（1994）
[2] Andritsos，P.，Fuxman，A.，Miller，R.：清理脏数据库上的答案。IEEE国际数据工程会议（ICDE）（2006）
[3] Arenas，M.，Bertossi，L.，Chomicki，J.：不一致数据库中的一致查询答案。摘自：ACM数据库系统原理研讨会论文集，第68–79页（1999）·Zbl 1079.68026号
[4] Arenas，M.，Bertossi，L.E.，Chomicki，J.：使用带异常的逻辑程序指定和查询数据库修复。收录：《灵活问答系统国际会议论文集》，第27–41页（2000年）
[5] Arenas，M.，Bertossi，L.E.，Chomicki，J.，He，X.，Raghavan，V.，Spinrad，J.：不一致数据库中的标量聚合。西奥。公司。科学。（TCS）3（296），405–434（2003）·Zbl 1045.68049号 ·doi:10.1016/S0304-3975（02）00737-5
[6] Arenas，M.，Bertosi，L.，Chomicki，J.：在不一致数据库中用于一致查询回答的答案集。西奥。实际。日志。掠夺。3(45), 393–424 (2003) ·Zbl 1079.68026号 ·文件编号：10.1017/S1471068403001832
[7] Baral，C.，Zhang，Y.：关于知识更新的语义。摘自：《国际人工智能联合会议论文集》，第97–102页（2001年）
[8] Bertossi，L.：数据库中的一致查询应答。SIGMOD记录，35（2），68–76（2006）·数字对象标识代码：10.1145/1147376.1147391
[9] Bohannon，P.，Flaster，M.，Fan，W.，Rastogi，R.：通过价值修正修复约束的基于成本的模型和有效启发式。摘自：ACM SIGMOD国际数据管理会议论文集，第143-154页（2005）
[10] Cali，A.，Lembo，D.，Rosati，R.：关于不一致和不完整数据库上查询应答的可判定性和复杂性。In:Proceedings ACM Symposium on Principles of Database Systems（PODS），第260-271页（2003年）
[11] Caroprese，L.，Greco，S.，Sirangelo，S.，Zumpano，E.：完整性维护生产规则的声明语义。载：《国际逻辑编程会议论文集》，第26-40页（2006年）·Zbl 1131.68371号
[12] Chomicki，J.、Lobo，J.和Naqvi，S.A.：使用逻辑编程解决冲突。IEEE传输。知识。数据工程（TKDE）15（1），244–249（2003）
[13] Chomicki，J.，Marcinkowski，J.：使用元组删除的最小更改完整性维护。信息计算197（1-2），90-121（2005）·Zbl 1075.68022号 ·doi:10.1016/j.ic.2004.04.007
[14] Chomicki，J.：一致的问答：五个简单的部分。摘自：《数据库理论国际会议论文集》，第1-17页（2007年）
[15] Corts-Calabuig，A.，Denecker，M.，Arieli，O.，Bruynooghe，M.：局部知识的表示和局部完整数据库中的查询应答。摘自：《程序设计、人工智能和推理逻辑国际会议论文集》，第407–421页（2006年）·Zbl 1165.68380号
[16] Flesca，S.、Furfaro，F.、Parisi，F.：聚合约束下数字数据库的一致查询答案。摘自：Proceedings International Workshop on Database Programming Languages，第279-294页（2005年）·Zbl 1159.68416号
[17] Fuxman，A.，Miller，J.R.：不一致数据库的一阶查询重写。J.计算。系统。科学。73(4), 610–635 (2007) ·Zbl 1112.68042号 ·doi:10.1016/j.jcss.2006.10.013
[18] Gelfond，M.，Lifschitz，V.：逻辑编程的稳定模型语义。摘自：逻辑程序设计国际会议论文集（ICLP），第1070–1080页（1988年）
[19] Grant，J.，Hunter，A.：测量知识库中的不一致性。J.智力。信息系统。27(2), 159–184 (2006) ·doi:10.1007/s10844-006-2974-4
[20] Grant，J.，Subrahmanian，V.S.：不一致知识库中的推理。IEEE传输。知识。数据工程（TKDE）7（1），177-189（1995）·数字对象标识代码：10.1109/69.368510
[21] Greco，S.，Zumpano，E.：查询不一致的数据库。《程序设计、人工智能和推理逻辑国际会议论文集》，第308-325页（2000年）·Zbl 0988.68061号
[22] Greco，G.、Greco，S.、Zumpano，E.：查询和修复不一致数据库的逻辑框架。IEEE传输。知识。数据工程（TKDE）15（6），1389–1408（2003）·doi:10.1109/TKDE.2003.1245280
[23] Greco，S.、Sirangelo，C.、Trubitsyna，I.、Zumpano，E.：不一致数据库的首选修复。摘自：数据库和专家系统应用国际会议论文集（DEXA），第44-55页（2004年）
[24] Greco，G.，Molinaro，C.：在三值语义下查询和修复不一致的数据库。载：《国际逻辑编程会议论文集》，第149–164页（2007年）·兹比尔1213.68236
[25] Hunter，A.，Konieczny，S.：测量不一致信息的方法。《不一致性公差》，第191–236页（2005年）·Zbl 1111.68125号
[26] Hunter，A.：通过准经典模型测量知识的不一致性。摘自：《全国人工智能会议记录》，第68–73页（2002年）
[27] 亨特：评估不一致的重要性。摘自：第18届国际人工智能联合会议（IJCAI）会议记录，第468–473页（2003）
[28] Leone，N.、Pfeifer，G.、Faber，W.、Calimeri，F.、Dell'Armi，T.、Eiter，T.和Gottlob，G.，Ianni，G.和Ielpa，G.以及Koch，K.、Perri，S.和Polleres，A.：DLV系统。摘自：《人工智能逻辑国际会议论文集》（JELIA），第537-540页（2002年）·Zbl 1014.68871号
[29] Lin，J.，Mendelzon，A.O.：在约束条件下合并数据库。国际期刊社。信息系统。7(1), 55–76 (1998) ·doi:10.1142/S02188430980040
[30] Lozinskii，E.L.：解决矛盾：不一致系统的合理语义。J.汽车。原因。12(1), 1–32 (1994) ·Zbl 0804.68141号 ·doi:10.1007/BF00881841
[31] Marek，V.W.，Truszczynski，M.：修订编程。西奥。计算。科学。190(2), 241–277 (1998) ·Zbl 0893.68054号 ·doi:10.1016/S0304-3975（97）00092-3
[32] Martinez，M.V.，Pugliese，A.，Simari，G.I.，Subrahmanian，V.S.，Prade，H.：你的关系数据库有多脏？公理方法。摘自：《欧洲不确定性推理的符号和定量方法会议录》，第103–114页（2007年）·Zbl 1148.68353号
[33] Rao，P.、Sagonas，K.F.、Swift，T.、Warren，D.S.、Freire，J.：XSB：高效计算WFS的系统。收录：逻辑程序设计和非单调推理国际会议论文集（LPNMR），第431-441页（1977年）
[34] Sagonas，K.F.、Swift，T.、Warren，D.S.：一种抽象机器，用于高效计算对基础良好的模型的查询。J.逻辑程序。45(1–3), 1–41 (2000) ·Zbl 0957.68019号 ·doi:10.1016/S0743-1066（00）00005-4
[35] Staworke，S.、Chomicki，J.、Marcinkowski，J.:不一致关系数据库中基于优先级的冲突解决。数据库技术的当前趋势——EDBT研讨会，第318–335页（2006年）
[36] Subrahmanian，V.S.：合并知识库。ACM事务处理。数据库系统。（TODS）19（2），291–331（1994）·数字对象标识代码：10.1145/176567.176571
[37] Syrjzänen，T.，Niemelä，I.：斯莫德尔斯体系。收录于：Procedings逻辑编程和非单调推理国际会议（LPNMR），第434-438页（2001年）·Zbl 1010.68797号
[38] Ullman，J.K.：数据库和知识库系统原理。计算机科学出版社（1998）
[39] Van Gelder，A.，Ross，K.A.，Schlipf，J.S.：通用逻辑程序的良好语义。《美国医学会杂志》38（3），620-650（1991）·Zbl 0799.68045号
[40] Wijsen，J.：使用更新修复数据库。ACM事务处理。数据库系统。（TODS）30（3），722-768（2005）·数字对象标识代码：10.1145/1093382.109338385
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。