动态检测非函数依赖程序不变量.pdfVIP

维普资讯 第 16卷第 2期 电 脑 与 信 息 技 术 V01．16No．2 2008牟 4月 Comouterand Information Technolo~ Apr．2008 文章编号：1005—1228(2008)02—0047—04 动态检测非函数依赖程序不变量 胡 国庆 (南华大学计算栅 牛学与技术学院，湖南衡阳 421001) 摘 要：文章对函数依赖程序不变量和简单非函数依赖程序不变量动态生成理论、方法和技术进行了阐述，提出了一种新 的简单非函数依赖程序不变量动态检测的方法。该方法利用数据库中提供的SQL强大查询功能，灵活多变地检测各种常 见类型的简单非函数依赖程序不变量，并且可以根据用户的实际需要