作者：胡国庆程序不变量动态检测非函数依赖
摘要：文章对函数依赖程序不变量和简单非函数依赖程序不变量动态生成理论、方法和技术进行了阐述,提出了一种新的简单非函数依赖程序不变量动态检测的方法。该方法利用数据库中提供的SQL强大查询功能,灵活多变地检测各种常见类型的简单非函数依赖程序不变量,并且可以根据用户的实际需要随时指定新的程序不变量查询条件。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《电脑与信息技术》（CN：43-1202/TP）是一本有较高学术价值的大型双月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《电脑与信息技术》杂志是经国家新闻出版总署正式批准，杂志集权威性、理论性与专业性于一体，具有很高的学术价值，是作者科研、晋级等方面的权威依据。
省级期刊
人气 652311 评论 60
部级期刊
人气 443575 评论 71
人气 366725 评论 69
人气 322918 评论 34
