×
罗纳德·费金；Phokion G.科莱蒂斯。；勒内·米勒。；卢西安·波帕

数据交换：语义和查询应答。 （英语） Zbl 1080.68019号

西奥。计算。科学。 336，第1期，89-124（2005）.
摘要：数据交换是在源模式下获取结构化数据，并创建尽可能准确地反映源数据的目标模式实例的问题。在本文中，我们解决了与数据交换语义和数据交换上下文中的查询应答问题相关的基础和算法问题。出现这些问题的原因是，给定一个源实例，可能有许多目标实例满足数据交换问题的约束。
我们给出了一个代数规范，在数据交换问题的所有解决方案中，选择一类我们称之为通用的特殊解决方案。我们表明，通用解决方案的数据量不超过数据交换所需的数据量，并且它代表了可能解决方案的整个空间。然后，我们确定了保证普遍解存在的相当一般但实际的条件，并给出了高效计算规范普遍解的算法。我们采用不定数据库中的“确定答案”概念作为数据交换中查询答案的语义。我们研究了在这种情况下计算特定答案的计算复杂性，并解决了数据交换中出现的其他算法问题。特别是，我们研究了通过简单地在标准通用解上评估目标查询的某些答案来计算它们的问题，并且我们探索了在数据交换设置中，哪些查询可以通过这种方式回答，哪些查询不能通过这种方式答答的边界。

引用于2评论
引用于89文件

MSC公司：

68第05页 数据结构
03B70号 计算机科学中的逻辑
第68页，共15页 数据库理论
68问题65 抽象数据类型；代数规范

关键词：

数据交换；数据集成；依赖关系；通用解决方案；大通（Chase）；查询应答；某些答案；计算复杂性；一阶不可表达性
PDF格式BibTeX公司 XML格式引用
\textit{R.Fagin}等人，Theor。计算。科学。336，第1号，89--124（2005；Zbl 1080.68019）
全文： 内政部

参考文献：

[1] Abiteboul，S。；Duschka，O.M.，《使用物化视图回答查询的复杂性》（ACM数据库系统原理研讨会（PODS）（1998年），254-263
[2] S.Abiteboul，O.M.Duschka，《使用物化视图回答查询的复杂性》，2000年（未出版的[1]完整版）
[3] Abiteboul，S。；Cluet，S.公司。；Milo，T.，《异构数据的通信和翻译》，（国际数据库理论会议（ICDT）（1997），351-363
[4] 阿雷纳斯，M。；巴塞洛，P。；费金，R。；Libkin，L.，《数据交换中的局部一致转换和查询应答》（ACM数据库系统原理研讨会（PODS）Proc.on the Principles of Database Systems（2004）），229-240
[5] 比里，C。；Vardi，M.Y.，《数据依赖性的证明程序》，J.Assoc.Compute。机器。，31, 4, 718-741 (1984) ·Zbl 0632.68097号
[6] 校准'，A。；Calvanee，D。；德贾科莫，G。；Lenzerini，M.，《完整性约束下的数据集成》，（高级信息系统工程（CAiSE）国际会议程序（2002）），262-279·Zbl 1046.68694号
[7] 卡萨诺娃，硕士。；费金，R。；Papadimitriou，C.H.，《包含依赖性及其与功能依赖性的相互作用》，计算机学报。系统科学。，28, 1, 29-59 (1984) ·Zbl 0586.68082号
[8] Chandra，A.K。；Merlin，P.M.，关系数据库中联合查询的优化实现，（美国计算机学会计算理论研讨会（STOC）（1977年），77-90
[9] Cosmadakis，S.S。；Kanellakis，P.C.，《函数和包含依赖性图论方法》，（Kanellaki，P.C；Preparia，F.P.，《计算研究进展》，第3卷（1986）），163-184
[10] Deutsch，A。；Tannen，V.，合取正则路径查询的优化特性，（国际数据库编程语言研讨会（2001）），21-39·Zbl 1098.68563号
[11] Deutsch，A。；Tannen，V.，XML查询和约束的重组，（国际数据库理论会议（ICDT）（2003），225-241·Zbl 1022.68507号
[12] O.M.杜施卡。；Genesereth，M.R。；Levy，A.Y.，数据集成的递归查询计划，逻辑编程，43，1，49-73（2000）·Zbl 0949.68063号
[13] Fagin，R.，Horn子句和数据库依赖，J.Assoc.Compute。机器。，29, 4, 952-985 (1982) ·Zbl 0493.68092号
[14] 费金，R。；Stockmeyer，L。；Vardi，M.Y.，《关于单体NP与单体co-NP的比较》，Inform。计算。，120, 1, 78-92 (1995) ·Zbl 0835.68046号
[15] 费金，R。；Kolaitis博士。；米勒，R.J。；Popa，L.，《数据交换和查询应答》，（国际数据库理论会议（ICDT）（2003），207-224·Zbl 1022.68510号
[16] 费金，R。；Kolaitis博士。；Popa，L.，《核心数据交换》，（ACM数据库系统原理研讨会（PODS）（2003年），第90-101页
[17] 弗里德曼，M。；利维，A.Y。；Millstein，T.D.，《数据集成导航计划》，（美国国家人工智能会议（AAAI）（1999年），67-73
[18] A.Halevy，《使用视图回答查询：调查》，VLDB J.（2001）270-294。；A.Halevy，使用视图回答查询：一项调查，VLDB J.（2001）270-294·Zbl 1012.68910号
[19] 地狱，P。；Nešetřil，J.，图的核心，离散数学。，109, 117-126 (1992) ·Zbl 0803.68080号
[20] 船体，R。；Yoshikawa，M.，ILOG对象标识符的声明性创建和操作，（超大数据库（VLDB）国际会议（Proc.of the Internat.Conf.on Very Large Data Bases，VLDB）（1990）），455-468
[21] Lenzerini，M.，《数据集成理论观点》，（ACM数据库系统原理研讨会（PODS）（2002年），233-246
[22] 利维，A.Y。；门德尔松，A.O。；萨吉夫，Y。；Srivastava，D.，使用视图回答查询（ACM数据库系统原理研讨会（PODS）（1995年5月），95-104
[23] Maier，D。；门德尔松，A.O。；Sagiv，Y.，《数据依赖性的测试含义》，ACM Trans。数据库系统，4，4，455-469（1979）
[24] Maier，D。；Ullman，J.D。；Vardi，M.Y.，《在普遍关系模型的基础上》，ACM Trans。数据库系统，9，2，283-308（1984）·Zbl 0563.68077号
[25] Makowsky，J.A.，《为什么Horn公式在计算机科学中重要？初始结构和通用示例》，J.Compute。系统科学。，34, 2/3, 266-292 (1987) ·Zbl 0619.68029号
[26] 米勒，R.J。；哈斯，L.M。；Hernández，M.，Schema mapping as query discovery（作为查询发现的模式映射），（《超大数据库国际会议论文集》（2000）），77-88
[27] 波帕，L。；维莱格拉基斯，Y。；米勒，R.J。；Hernandez，文学硕士。；Fagin，R.，《翻译网络数据》，（超大数据库国际会议程序（2002）），598-609
[28] Schaefer，T.J.，可满足性问题的复杂性，（美国计算机学会计算理论研讨会论文集（STOC）（1978）），216-226·Zbl 1282.68143号
[29] 北卡罗来纳州舒。；豪斯，不列颠哥伦比亚省。；Lum，V.Y.，CONVERT数据转换的高级翻译定义语言，美国通信协会，18，10，557-567（1975）·Zbl 0311.68015号
[30] 北卡罗来纳州舒。；豪斯，不列颠哥伦比亚省。；泰勒，R.W。；Ghosh，S.P。；Lum，V.Y.，EXPRESSa数据提取、处理和重组系统，ACM Trans。数据库系统，2,2134-174（1977）
[31] van der Meyden，R.，查询线性有序域的不确定数据的复杂性，J.Compute。系统科学。，54, 113-135 (1997) ·Zbl 0876.68035号
[32] van der Meyden，R.，《不完整信息的逻辑方法调查》（Chomicki，J.；Saake，G.，《数据库和信息系统的逻辑》（1998），Kluwer:Kluwer-Dordrecht），307-356·Zbl 0903.68064号
[33] Vardi，M.Y.，《关系查询语言的复杂性》，（美国计算机学会计算理论研讨会（STOC）（1982年），137-146
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。