...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>International Journal on Software Tools for Technology Transfer >A logic-based incremental approach to graph repair featuring delta preservation
【24h】

A logic-based incremental approach to graph repair featuring delta preservation

机译：一种基于逻辑的渐进式渐进式方法，包括Delta保存

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

We introduce a logic-based incremental approach to graph repair, generating a sound and complete (upon termination) overview of least-changing graph repairs from which a user may select a graph repair based on non-formalized further requirements. This incremental approach features delta preservation as it allows to restrict the generation of graph repairs to delta-preserving graph repairs, which do not revert the additions and deletions of the most recent consistency-violating graph update. We specify consistency of graphs using the logic of nested graph conditions, which is equivalent to first-order logic on graphs. Technically, the incremental approach encodes if and how the graph under repair satisfies a graph condition using the novel data structure of satisfaction trees, which are adapted incrementally according to the graph updates applied. In addition to the incremental approach, we also present two state-based graph repair algorithms, which restore consistency of a graph independent of the most recent graph update and which generate additional graph repairs using a global perspective on the graph under repair. We evaluate the developed algorithms using our prototypical implementation in the tool AutoGraph and illustrate our incremental approach using a case study from the graph database domain.
机译：我们介绍了一种基于逻辑的增量方法来图形修复，产生声音和完整的（在终止时）概述，用户可以根据非形式化的进一步要求选择图形修复的最小变换图。此增量方法具有三角形保存，因为它允许将图形修复的生成限制为Delta保留图形维修，这不会恢复最新一致性的违规图更新的添加和删除。我们使用嵌套图条件的逻辑指定图表的一致性，这相当于图形上的一阶逻辑。从技术上讲，增量方法是如何以及如何使用满足树的新数据结构来满足图表条件的图，这是根据所应用的图形更新递增地适应的。除了增量方法之外，我们还呈现了两个基于国家的图形修复算法，该算法还恢复了与最新图更新的图表的一致性，并且在修复下使用全局透视图来生成附加图形维修。我们使用我们在刀具签名中使用我们的原型实现来评估开发的算法，并使用图形数据库域中的案例研究说明我们的增量方法。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号