Martinez、Maria Vanina;弗朗西斯科·帕里西;安德烈亚·普利斯;杰拉尔多·西马里。;苏布拉曼尼亚，V.S。 关系数据库中基于策略的不一致性管理。 （英语） Zbl 1316.68046号 国际J近似推理 55，第2期，501-528（2014）. 摘要：尽管数据库和人工智能中的不一致性管理已经被广泛研究了多年，但它不允许用户指定他希望如何解决不一致性。在实际应用中，用户可能希望不仅基于数据，而且基于他们自己对基于错误数据的决策所涉及风险的了解来管理或解决不一致。每个用户都应该被授权使用合理的策略来处理他的数据和他的任务需求。在本文中，我们首先提供了不一致性管理策略（IMP）将这种权力交给用户。任何满足这些公理的函数都是IMP。然后我们定义了三大类IMP，并得出了几个结果，这些结果表明（i）这些政策如何与修正信仰基础以及最近在以下领域的研究一致查询应答以及（ii）它们如何与标准关系代数操作符交互。最后，我们提出了几种有效实现基于IMP的框架的方法。 引用于6文件 MSC公司： 第68页，共15页 数据库理论 关键词：不一致性管理;关系数据库 PDF格式BibTeX公司 XML格式引用 \textit｛M.V.Martinez｝et al.，Int.J.Approximate Reasoning 55，No.2501-528（2014；兹比尔1316.68046） 全文： 内政部 参考文献： [1] 达科斯塔，N.，《关于不一致形式系统的理论》，圣母院J.Form.Log。，15497-510（1974年）·Zbl 0236.02022号 [2] Belnap，N.，《有用的四值逻辑》（《多值逻辑的现代应用》，1977年），8-37·Zbl 0417.03009号 [3] 格兰特，J.，《不一致理论的分类》，圣母院J.Form.Log。，19, 3, 435-444 (1978) ·Zbl 0305.02040号 [4] 布莱尔，H.A。；Subrahmanian，V.S.，超一致逻辑编程，Theor。计算。科学。，68, 2, 135-154 (1989) ·Zbl 0686.68009号 [5] 达科斯塔，北卡罗来纳州。；贝齐奥，J.-Y。；Bueno，O.A.S.，《次协调逻辑方面》，Log。J.IGPL，第3、4、597-614页（1995年）·Zbl 0843.03014号 [6] 贝斯纳德，P。；Schaub，T.，《次协调推理的符号系统》，J.Autom。原因。，20, 1, 191-213 (1998) ·Zbl 0893.68149号 [7] Cholvy，L.，《考虑来源数量和可靠性的矛盾信念推理的模态逻辑》（Godo，L.、ECSQARU、ECSQARU，Lect.Notes Compute Sci.，第3571卷（2005），Springer），390-401·Zbl 1122.68622号 [8] 霍尔维，L。；Roussel，S.，不完全信息交换政策的推理，（Melloli，K.，ECSQARU.ECSQARU，Lect.Notes Comput.Sci.，vol.4724（2007），Springer），683-694·Zbl 1148.68504号 [9] Fitting，M.，Bilattices和逻辑编程语义，J.Log。程序。，11, 1-2, 91-116 (1991) ·Zbl 0757.68028号 [10] Reiter，R.，默认推理逻辑，Artif。整数。，13, 1-2, 81-132 (1980) ·Zbl 0435.68069号 [11] Baral，C。；克劳斯，S。；Minker，J.，《结合多个知识库》，IEEE Trans。知识。数据工程，3，2，208-220（1991） [12] Touretzky，D.，《遗传系统的数学》（1986），摩根·考夫曼·Zbl 0675.68006号 [13] Kifer，M。；Lozinskii，E.L.，《不一致推理的逻辑》，J.Autom。原因。，9, 2, 179-215 (1992) ·Zbl 0807.03019号 [14] Thirunarayan，K。；Kifer，M.，基于注释逻辑的非单调继承理论，Artif。整数。，60, 1, 23-50 (1993) ·Zbl 0778.68080号 [15] Benferhat，S。；Dubois，D。；Prade，H.，《处理不一致知识库的一些句法方法：比较研究》，第1部分：扁平案例，Stud.Log。，58, 1, 17-45 (1997) ·Zbl 0867.68100号 [16] Simari，G.R。；Loui，R.P.，《不可行推理的数学处理及其实现》，Artif。整数。，53, 2-3, 125-157 (1992) ·Zbl 1193.68238号 [17] 普拉肯，H。；Sartor，G.，《基于论证的扩展逻辑编程与可取消优先级》，J.Appl。非类别。日志。，7, 1 (1997) ·Zbl 0877.68019号 [18] 贝斯纳德，P。；亨特，A.，基于逻辑的演绎论点理论，Artif。整数。，128, 1-2, 203-235 (2001) ·Zbl 0971.68143号 [19] Amgoud，L。；Cayrol，C.，基于可接受参数产生的推理模型，《数学年鉴》。Artif公司。整数。，34, 1-3, 197-215 (2002) ·兹比尔1002.68172 [20] Amgoud，L。；Prade，H.，《不确定性下的形式化实践推理：基于论证的方法》（IAT（2007），IEEE计算机学会），189-195 [21] Benferhat，S。；Dubois，D。；朗·J。；普拉德，H。；Saffiotti，A。；Smets，P.，《优先知识库中不一致性处理和合并信息的通用方法》（Cohn，A.G.；Schubert，L.K.；Shapiro，S.C.，KR（1998），Morgan Kaufmann），466-477 [22] Baral，C。；克劳斯，S。；Minker，J。；Subrahmanian，V.S.，结合由一阶分析组成的知识库，计算。整数。，8, 45-71 (1992) [23] 阿雷纳斯，M。；贝托西，L.E。；Chomicki，J.，《不一致数据库中的一致查询答案》，（Vianu，V.；Papadimitriou，C.H.，PODS（1999），ACM出版社），68-79 [24] 卡尔？，A。；伦博，D。；Rosati，R.，关于不一致和不完整数据库上查询回答的可判定性和复杂性，（Neven，F.；Beeri，C.；Milo，T.，PODS（2003），ACM），260-271 [25] 贝托西，L.E。；Chomicki，J.，《不一致数据库中的查询应答》，（Chomicki，J.；van der Meyden，R.；Saake，G.，《数据库新兴应用的逻辑》（2003），Springer），43-83 [26] 波汉农，P。；M.Flaster。；风扇，W。；Rastogi，R.，《通过价值修正修复约束的基于成本的模型和有效启发式方法》，（？zcan，F.，《ACM SIGMOD国际数据管理会议论文集》，美国马里兰州巴尔的摩，2005年6月14-16日，ACM），143-154 [27] Chomicki，J.，《一致的问答：五个简单的部分》，（Schwentick，T.；Suciu，D.，ICDT.ICDT，Lect.Notes Compute.Sci.，vol.4353（2007），Springer），1-17 [28] Bertossi，L.，《数据库修复和一致查询应答》（2011），摩根&克莱普尔出版社 [29] 阿雷纳斯，M。；贝托西，L.E。；Chomicki，J.，《使用逻辑程序指定和查询数据库修复（有例外）》（FQAS（2000）），27-41 [30] 阿雷纳斯，M。；贝托西，L.E。；Kifer，M.，《注释谓词演算在查询不一致数据库中的应用》，（Lloyd，J.W.；Dahl，V.；Furbach，U.；Kerber，M；Lau，K.-K.；Palamidessi，C.；Pereira，L.M.；Sagiv，Y.；Stuckey，P.J.，《计算逻辑》，Lect.Notes Compute.Sci.，第1861卷（2000），Springer），926-941·Zbl 0983.68054号 [31] 巴塞洛，P。；Bertossi，L.E.，用带注释的谓词逻辑修复数据库，（Benferhat，S.；Giunchiglia，E.，NMR（2002）），160-170 [32] 阿雷纳斯，M。；贝托西，L.E。；Chomicki，J.，《不一致数据库中一致查询答案集》，理论与实践。日志。程序。，3, 4-5, 393-424 (2003) ·Zbl 1079.68026号 [33] 巴塞洛，P。；Bertossi，L.E.，查询不一致数据库的逻辑程序，（Dahl，V.；Wadler，P.，PADL.PADL，Lect.Notes Compute.Sci.，第2562卷（2003），Springer），208-222·Zbl 1026.68761号 [34] 格雷科·G。；Greco，S。；Zumpano，E.，《查询和修复不一致数据库的逻辑框架》，IEEE Trans。知识。数据工程，151389-1408（2003） [35] 贝托西，L.E。；Bravo，L.，对等数据交换系统中一致性和信任的语义，（Dershowitz，N.；Voronkov，A.，LPAR.LPAR，Lect.Notes Compute.Sci.，vol.4790（2007），Springer），107-122·Zbl 1137.68428号 [36] Caroprese，L。；Truszczynski，M.，主动完整性约束的声明语义，（de la Banda，M.G.；Pontelli，E.，ICLP.ICLP，Lect.Notes Compute.Sci.，vol.5366（2008），Springer），269-283·Zbl 1185.68292号 [37] 艾特，T。；芬克，M。；格雷科·G。；Lembo，D.，《不一致数据库查询应答的修复本地化》，ACM Trans。数据库系统。，33, 2 (2008) [38] Subrahmanian，V.S。；Amgoud，L.，《关于不一致性推理的一般框架》（Veloso，M.M.，IJCAI（2007）），599-604 [39] 阿雷纳斯，M。；贝尔托西，L.E。；乔米奇，J。；何，X。；拉加万，V。；Spinrad，J.，不一致数据库中的标量聚合，Theor。计算。科学。，3, 296, 405-434 (2003) ·Zbl 1045.68049号 [40] 贝托西，L.E。；布拉沃，L。；Franconi，E。；Lopatenko，A.，《完整性约束下数据库中固定数值属性的复杂性和近似性》（Bierman，G.M.；Koch，C.，《数据库编程语言》，第十届国际研讨会，DBPL 2005。数据库编程语言，第十届国际研讨会，DBPL 2005，挪威特隆赫姆，8月28-29日。数据库编程语言，第十届国际研讨会，DBPL 2005。数据库编程语言，第十届国际研讨会，DBPL 2005，挪威特隆赫姆，8月28-29日，Lect。注释计算。科学。，第3774卷（2005），施普林格），262-278·Zbl 1159.68406号 [41] 富克斯曼，A。；Miller，R.J.，不一致数据库的一阶查询重写，（Eiter，T.；Libkin，L.，ICDT.ICDT，Lect.Notes Compute Sci.，vol.3363（2005），Springer），337-351·Zbl 1112.68367号 [42] 乔米奇，J。；Marcinkowski，J.，使用元组删除的最小更改完整性维护，Inf.Compute。，197, 1-2, 90-121 (2005) ·Zbl 1075.68022号 [43] Wijsen，J.，使用更新修复数据库，ACM Trans。数据库系统。，3022-768（2005年） [44] 弗莱斯卡，S。；Furfaro，F。；Parisi，F.，查询和修复不一致的数字数据库，ACM Trans。数据库系统。，35, 2 (2010) [45] Wijsen，J.，《关于计算不确定数据库上联合查询的某些答案的一阶表达式》（Paredaens，J.；Gucht，D.V.，PODS（2010），ACM），179-190 [46] Hansson，S.O.，《半重审》（特邀论文），J.Appl。非类别。日志。，7, 2 (1997) ·Zbl 0869.03017号 [47] Caroprese，L。；Greco，S。；Zumpano，E.，数据库一致性维护的主动完整性约束，IEEE Trans。知识。数据工程，21，7，1042-1058（2009） [48] 斯塔沃戈，S。；乔米奇，J。；Marcinkowski，J.，关系数据库中的优先修复和一致查询应答，《数学年鉴》。Artif公司。整数。，第64页，第2-3页，第209-246页（2012年）·Zbl 1250.68099号 [49] 马丁内斯，M.V。；Parisi，F。；Pugliese，A。；Simari，G.I。；Subrahmanian，V.S.，《不一致管理政策》（Brewka，G.；Lang，J.，KR（2008），AAAI出版社），367-377 [50] 马丁内斯，M.V。；Parisi，F。；Pugliese，A。；Simari，G.I。；Subrahmanian，V.S.，《关系知识库中基于策略的高效不一致性管理》，（Deshpande，A.；Hunter，A.，《可扩展不确定性管理第四届国际会议论文集》，《可缩放不确定性管理-第四届国际会议论文集，2010年SUM》，法国图卢兹，9月27日至29日。可扩展不确定性管理会议记录——第四届国际会议。《可扩展不确定性管理——第四届国际会议论文集》，2010年9月27日至29日，法国图卢兹，Lect。注释计算。科学。，第6379卷（2010），施普林格），264-277 [51] Ullman，J.D.，《数据库和知识库系统原理》，第一卷（1988），计算机科学出版社 [52] 贝托西，L.E。；科拉希，S。；Lakshmanan，L.V.S.，《具有匹配依赖项和匹配函数的数据清理和查询应答》，理论计算。系统。，52, 3, 441-482 (2013) ·Zbl 1270.68102号 [53] Fan，W.，《重新审视依赖关系以提高数据质量》，（Lenzerini，M.；Lembo，D.，PODS（2008），ACM），159-170 [54] 风扇，W。；贾，X。；李，J。；Ma，S.，《关于记录匹配规则的推理》，Proc。VLDB Endow公司。，2, 1, 407-418 (2009) [55] Lozinskii，E.L.，《解决矛盾：不一致系统的合理语义》，J.Autom。原因。，12, 1, 1-31 (1994) ·Zbl 0804.68141号 [56] 格兰特·J。；Hunter，A.，《衡量知识库中的不一致性》，J.Intell。信息系统。，27, 2, 159-184 (2006) [57] 亨特，A。；Konieczny，S.，《测量不一致信息的方法》，（Bertossi，L.E.；Hunter，A.；Schaub，T.，《不一致公差》，Lect.Notes Compute.Sci.，第3300卷（2005），Springer），191-236·Zbl 1111.68125号 [58] 格兰特·J。；Hunter，A.，分析不一致的一阶知识库，Artif。整数。，172, 8-9, 1064-1093 (2008) ·Zbl 1183.68614号 [59] 伊米林斯基，T。；Lipski，W.，《关系数据库中的不完整信息》，J.ACM，31，4，761-791（1984）·Zbl 0632.68094号 [60] Lloyd，J.W.，《逻辑编程基础》（1987），施普林格出版社·Zbl 0547.68005号 [61] S.O.Hansson，《逆转列维身份》，J.Philos。日志。，第22页，第6页（1993年）·Zbl 0788.03033号 [62] Alchourron，C.E。；加登弗斯，P。；Makinson，D.，《论理论变革的逻辑：部分满足收缩和修正功能》，J.Symb。日志。，50, 2, 510-530 (1985) ·Zbl 0578.03011号 [63] Gardenfors，P.，《流动中的知识：认识状态动力学建模》（1988年），麻省理工学院出版社：麻省理学学院出版社，马萨诸塞州剑桥·Zbl 1229.03008号 [64] Katsuno，H。；Mendelzon，A.O.，命题知识库更新的统一观点，（Sridharan，N.S.，IJCAI（1989），Morgan Kaufmann），1413-1419·Zbl 0719.68071号 [65] Winslett，M.，《更新逻辑数据库》，剑桥。拖拉机Theor。计算。科学。（1990），剑桥大学出版社·Zbl 0728.68053号 [66] 费金，R。；Ullman，J.D。；Vardi，M.Y.，《关于数据库更新的语义》（Fagin，R.；Bernstein，P.A.，PODS（1983），ACM），352-365 [67] 费金，R。；库珀，G.M。；Ullman，J.D。；Vardi，M.Y.，更新逻辑数据库，高级计算。研究，3，1-18（1986） [68] Redman，T.，数据质量差对典型企业Commun的影响。ACM，41，2，79-82（1998） [69] Schallehn，E。；Sattler，K.-U.，《使用基于相似性的操作解决数据级冲突》，（James，A.E.；Lings，B.；Younas，M.，BNCOD.BNCOD，Lect.Notes Compute.Sci.，vol.2712（2003），Springer），172-189·兹比尔1037.68943 [70] 富克斯曼，A。；法兹利，E。；Miller，R.J.，ConQuer:《不一致数据库的有效管理》，（Øzcan，F.，《ACM SIGMOD国际数据管理会议论文集》，美国马里兰州巴尔的摩，2005年6月14-16日，ACM），155-166 [71] Wijsen，J.，主键下的一致查询应答：可处理查询的特征，（Fagin，R.，ICDT.ICDT，ACM Intl.Conf.Proc.Ser.，vol.361（2009），ACM），42-52 [72] Wijsen，J.，《关于主键约束下联合查询的一致重写》，Inf.Syst。，34, 7, 578-601 (2009) [73] Franconi，E。；Palma，A.L。；塞拉利昂，北卡罗来纳州。；佩里，S。；Scarcello，F.，《人口普查数据修复：选言逻辑编程的挑战性应用》，（Nieuwenhuis，R.；Voronkov，a.，LPAR.LPAR，Lect.Notes Compute.Sci.，第2250卷（2001），Springer），561-578·Zbl 1275.68045号 [74] Wijsen，J.，用于一致查询应答的数据库修复的简明表示法，（Calvanee，D.；Lenzerini，M.；Motwani，R.，ICDT.ICDT，Lect.Notes Compute.Sci.，vol.2572（2003），Springer），375-390·兹比尔1022.68041 [75] 弗莱斯卡，S。；Furfaro，F。；Parisi，F.，《聚合约束下数字数据库的一致性查询答案》，（Bierman，G.M.；Koch，C.，数据库编程语言，第十届国际研讨会，DBPL 2005。数据库编程语言，第十届国际研讨会，DBPL 2005，挪威特隆赫姆，8月28-29日。数据库编程语言，第十届国际研讨会，DBPL 2005。数据库编程语言，第十届国际研讨会，DBPL 2005，挪威特隆赫姆，8月28-29日，Lect。注释计算。科学。，第3774卷（2005），施普林格），279-294·Zbl 1159.68416号 [76] Fazzinga，B。；弗莱斯卡，S。；Furfaro，F。；Parisi DART，F.，数据采集和修复工具，（Grust，T.；Höpfner，H.；Illarramendi，A.；Jablonski，S.；Mesiti，M.；Müller，S.，Patranjan，P.-L.；Sattler，K.-U.；Spiliopoulou，M.，Wijsen，J.，EDBT Workshops。EDBT研讨会，Lect.Notes Compute.Sci.，第4254卷（2006），Springer），297-317 [77] 弗莱斯卡，S。；Furfaro，F。；Parisi，F.，《聚合约束下的首选数据库修复》，（Prade，H.；Subrahmanian，V.S.，SUM.SUM，Lect.Notes Compute.Sci.，第4772卷（2007），Springer），215-229 [78] 弗莱斯卡，S。；Furfaro，F。；Parisi，F.，聚合约束下聚合查询的范围一致性答案，（Deshpande，A.；Hunter，A.，《可扩展不确定性管理第四届国际会议论文集》，《可缩放不确定性管理-第四届世界会议论文集，2010年SUM，法国图卢兹，9月27日至29日》。可扩展不确定性管理会议记录——第四届国际会议。《可扩展不确定性管理——第四届国际会议论文集》，2010年9月27日至29日，法国图卢兹，Lect。注释计算。科学。，第6379卷（2010），施普林格），163-176 [79] 弗莱斯卡，S。；Furfaro，F。；Parisi，F.，聚合约束下布尔聚合查询的一致答案，（Bringas，P.G.；Hameurlain，A.；Quirchmayr，G.，DEXA（2）。DEXA（2），Lect。注释计算。科学。，第6262卷（2010），施普林格），285-299 [80] Doder，D。；拉斯科维奇，M。；马科维奇，Z。；Ognjanovic，Z.，《不一致和违约的度量》，国际期刊近似原因。，51, 7, 832-845 (2010) ·Zbl 1205.68422号 [81] Mu，K。；刘伟。；Z.Jin。；Bell，D.A.，《一种基于句法的方法来衡量信念基础的不一致程度》，《国际期刊近似推理》。，52, 7, 978-999 (2011) ·Zbl 1226.68106号 [82] Mu，K。；Hong，J。；Z.Jin。；Liu，W.，从不一致性处理到非规范需求管理：逻辑视角，Int.J.近似原因。，54, 1, 109-131 (2013) ·Zbl 1266.68092号 [83] Picado Muiño，D.，测量和修复概率知识库中的不一致性，Int.J.近似原因。，52, 6, 828-840 (2011) ·Zbl 1226.68114号 [84] 亨特，A。；Summerton，R.，结构化新闻报道上下文相关聚合的融合规则，J.Appl。非类别。日志。，14, 3, 329-366 (2004) ·Zbl 1185.68698号 [85] 亨特，A。；Summerton，R.，以知识为基础的信息合并方法，Knowl-基于系统。，19, 8, 647-674 (2006) [86] Brewka，G。；艾特，T。；Fink，M.，《非单调多上下文系统：集成异构知识源的灵活方法》（Balduccini，M.；Son，T.C.，《逻辑编程、知识表示和非单调推理》，《逻辑程序设计、知识表示与非单调推理，Lect.Notes Compute Sci.，第6565卷（2011），Springer）， 233-258 ·Zbl 1326.68273号 [87] Brewka，G。；艾特，T。；芬克，M。；Weinzierl，A.，《托管多上下文系统》（Walsh，T.，IJCAI（2011），IJCIA/AAAI），786-791 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。