×
程泽辉;Phokion G.科莱蒂斯。

临时数据交换的通用解决方案。 （英语） 兹比尔1518.68083

Inf.计算。 281，文章ID 104793，26 p.（2021）.
摘要：在过去二十年中，数据交换已经在各种不同的环境中进行了深入的探索。尽管时间数据库是几十年来研究的一个成熟领域，但对时间数据交换的研究直到最近才开始。我们首先提出了一种针对具体时间背景下具有多个时间变量的时态数据交换设置的chase算法，并表明该chase算法在不失败的情况下会产生通用解。在此之后，我们考察了具体时间背景下的普遍解与抽象时间背景下普遍解之间的关系。我们表明，即使在数据交换规范涉及单个时间变量的情况下，也会出现挑战，但也会确定可以克服这些挑战的情况。

MSC公司：

第68页，共15页 数据库理论
68问题55 计算理论中的语义学

关键词：

时态数据库;混凝土浇筑时间;抽象时间;艾伦的关系;时态数据交换;通用解决方案;语义充分性
PDF格式BibTeX公司 XML格式引用
\textit｛Z.Cheng｝和\textit｛P.G.Kolaitis｝，信息计算。281，文章ID 104793，26 p.（2021；Zbl 1518.68083）
全文： 内政部

参考文献：

[1] 费金，R。；Kolaitis，P.G。；米勒，R.J。；Popa，L.，《数据交换：语义和查询应答》，Theor。计算。科学。，336, 1, 89-124 (2005) ·Zbl 1080.68019号
[2] 阿雷纳斯，M。；Libkin，L.，《XML数据交换：一致性和查询应答》，J.ACM，55，2，Article 7 pp.（2008）·Zbl 1326.68116号
[3] 巴塞洛，P。；佩雷斯，J。；Reutter，J.L.，图形数据库的模式映射和数据交换，（Tan，W.；Guerrini，G.；Catania，B.；Gounaris，A.，2013年EDBT/ICDT联合会议，ICDT’13会议记录。2013年EDBT/ICDT会议记录，ICDT'13会议记录，意大利热那亚，2013年3月18日至22日（2013），ACM），189-200
[4] 博内娃，I。；Lozano，J。；Staworke，S.，《存在形状表达模式的RDF数据交换关系》，（Olteanu，D.；Poblete，B.，《第十二届阿尔伯托·门德尔松国际数据管理基础研讨会论文集》，第十二届Alberto Mendelzon国际数据管理基础研讨会论文集，哥伦比亚卡利，2018年5月21日至25日。第十二届阿尔贝托·门德尔松国际数据管理基础研讨会会议记录。《第十二届阿尔贝托·门德尔松数据管理基础国际研讨会论文集》，哥伦比亚卡利，2018年5月21日至25日，CEUR研讨会论文集，第2100卷（2018）），CEUR-WS.org
[5] 阿雷纳斯，M。；巴塞洛，P。；利布金，L。；Murlak，F.，《数据交换基础》（2014），剑桥大学出版社
[6] （Tansel，A.U.；Clifford，J.；Gadia，S.K.；Jajodia，S；Segev，A.；Snodgrass，R.T.，《时态数据库：理论、设计和实现》（1993），本杰明/卡明斯）
[7] 乔米奇，J。；Toman，D.，《时态数据库》（Fisher，M.；Gabbay，D.M.；Vila，L.，《人工智能中的时态推理手册》，人工智能基础，第1卷（2005），Elsevier），429-467·Zbl 1099.68106号
[8] Golshanara，L.公司。；Chomicki，J.，时间数据交换，信息系统。，87 (2020)
[9] Grahne，G。；Onet，A.，《追逐剖析》，Fundam。通知。，157, 3, 221-270 (2018) ·Zbl 1390.68247号
[10] Toman，D.，时态数据库的基于点与基于间隔的查询语言，（Hull，R.，第十五届ACM SIGACT-SIGMOD-SIGART数据库系统原理研讨会论文集
[11] 古铁雷斯，C。；Hurtado，C.A。；Vaisman，A.A.，《将时间引入RDF》，IEEE Trans。知识。数据工程，19,2207-218（2007）
[12] Ao，J。；郑，Z。；Chirkova，R。；Kolaitis，P.G.，符合本体的数据的时间丰富和查询，（Darmont，J.；Novikov，B。；Wrenbel，R.，《数据库和信息系统新趋势——ADBIS 2020短篇论文》。数据库和信息系统的新趋势——ADBIS 2020短篇论文，法国里昂，2020年8月25日至27日，论文集。数据库和信息系统的新趋势——ADBIS 2020短篇论文。数据库和信息系统的新趋势——ADBIS 2020短篇论文，法国里昂，2020年8月25-27日，《计算机和信息科学通讯学报》，第1259卷（2020），施普林格出版社，129-139
[13] Artale，A。；康查科夫，R。；Kovtunova，A。；里日科夫，V。；Wolter，F。；Zakharyaschev，M.，线性时序逻辑中本体论中介查询的一阶可重写性（2020），CoRR
[14] Artale，A。；康查科夫，R。；Kovtunova，A。；里日科夫，V。；Wolter，F。；Zakharyaschev，M.，Ontology-mediated query responsing over temporal data:a survey（invited talk），（Schewe，S.；Schneider，T.；Wijsen，J.，第24届国际时间表征与推理研讨会，2017年10月16-18日）。第24届时间表征与推理国际研讨会。第24届时间表征与推理国际研讨会，2017年10月16日至18日，《时代》2017，LIPIcs，第90卷（2017），达格斯图尔-莱布尼茨-泽特鲁姆信息学：达格斯图尔-莱布尼茨-泽特鲁姆，比利时蒙斯），1:1-1:37·Zbl 1515.68296号
[15] 10 Cate，B。；Kolaitis，P.G.，模式映射语言的结构特征，Commun。ACM，53，1，101-110（2010）
[16] Allen，J.F.，《保持时间间隔知识》，Commun。ACM，26，11，832-843（1983年）·Zbl 0519.68079号
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。