应用系统迁移正确性证明的新方法——从静态切面数据证明到数据变化过程证明

文献导航

搜索文章

搜索思路

作者：

邓琼陈建锋

基本信息来源于合作网站，原文需代理用户跳转至来源网站获取

数据库

迁移

比对

摘要：

随着开源数据库技术的发展,更多的业务系统从商业数据库迁移至开源数据库.保持数据模型不变的系统迁移,有一种更强力的手段证明其迁移的正确性.通过实时或准实时地比较两边日志的差异,可以得出系统工作是否符合预期的结论,也可以为应用排查问题提供更多依据.

内容分析

关键词云

关键词热度

相关文献

推荐文献

根据相关规定，获取原文需跳转至原文服务方进行注册认证身份信息

完成下面三个步骤操作后即可获取文献，阅读后请点击下方页面【继续获取】按钮

钛学术文献服务平台

学术出版新技术应用与公共服务实验室出品

原文合作方

获取文献流程

1.访问原文合作方请等待几秒系统会自动跳转至登录页，首次访问请先注册账号，填写基本信息后，点击【注册】

2.注册后进行实名认证，实名认证成功后点击【返回】

3.检查邮箱地址是否正确，若错误或未填写请填写正确邮箱地址，点击【确认支付】完成获取，文献将在1小时内发送至您的邮箱

*若已注册过原文合作方账号的用户，可跳过上述操作，直接登录后获取原文即可

点击【获取原文】按钮，跳转至合作网站。

首次获取需要在合作网站进行注册。

注册并实名认证，认证后点击【返回】按钮。

确认邮箱信息，点击【确认支付】，订单将在一小时内发送至您的邮箱。

* 若已经注册过合作网站账号，请忽略第二、三步，直接登录即可。

按字母查找期刊：

联系合作广告推广: shenyukuan@paperpass.com

篇名	应用系统迁移正确性证明的新方法——从静态切面数据证明到数据变化过程证明
来源期刊	信息通信技术与政策	学科
关键词	数据库迁移比对
年，卷（期）	2019,（5）	所属期刊栏目	专题:大数据
研究方向		页码范围	28-32
页数	5页	分类号
字数	3540字	语种	中文
DOI

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	邓琼	中信银行软件开发中心技术平台开发处	1	0	0.0	0.0
2	陈建锋	中信银行软件开发中心技术平台开发处	1	0	0.0	0.0