Consistency and correctness of duplicate database systems
Consistency and correctness of duplicate database systems
复制标题
重复数据库系统的一致性和正确性
DOI：
--
复制
发表时间：
1977
期刊：
影响因子：
--
通讯作者：
C. Ellis
中科院分区：
文献类型：
--
作者：
C. Ellis
考虑了重复数据库更新问题的解决方案，并开发了一种使用 L 系统理论的形式验证技术并将其应用于该问题。本文展示了一些特定的解决方案，但主要关注问题的一般属性、方便的表示技术和形式化证明程序，这些程序足够通用，足以应用于并行处理和同步中的许多其他问题。
Solutions to the duplicate database update problem are considered, and a formal validation technique using the theory of L systems is developed and applied to the problem. The paper shows some particular solutions but is primarily concerned with general properties of the problem, convenient representational techniques, and formal proof procedures which are general enough to apply to this and to a number of other problems in parallel processing and synchronization.