基于信息容量的模式变换等价性研究

研究了多数据库模式集成过程中的模式变换等价性问题，从信息容量的概念出发，给出了一种判断模式变换正确性的标准，并证明了在不同应用背景下，模式变换Ｆ：Ｓ１→Ｓ２的正确性等价于Ｓ１和Ｓ２之间满足某种蕴含关系。本文还利用该标准对一种经典模式变换方法进行了分析，指出如果没有完全满足该标准，模式变换可能隐含的一些错误。