摘要: 随着开源数据库技术的发展,更多的业务系统从商业数据库迁移至开源数据库。保持数据模型不变的系统迁移,有一种更强力的手段证明其迁移的正确性。通过实时或准实时地比较两边日志的差异,可以得出系统工作是否符合预期的结论,也可以为应用排查问题提供更多依据。
邓琼, 陈建锋. 应用系统迁移正确性证明的新方法#br#
——从静态切面数据证明到数据变化过程证明[J]. 信息通信技术与政策, 2019, 45(5): 28-32.
DENGQiong, CHENJianfeng. Anewmethodto prove the correctness of system migration[J]. Information and Communications Technology and Policy, 2019, 45(5): 28-32.