统计报表校核关系程序形式化生成方法的研究  

作　　者：郭涛[1] 严瑾[1] 

机构地区：[1]陇东学院信息工程学院,甘肃庆阳745000

出　　处：《福建电脑》2014年第6期19-20,共2页Journal of Fujian Computer

基　　金：甘肃省高等学校科研项目(2014A-114);陇东学院教育教学研究项目(2013-29)

摘　　要：为保证统计报表数据的正确性,需要根据表内与表间的校核关系进行判断。针对校核关系程序的开发方法进行分析,通过形式化的定义,实现报表校核程序的自动生成,保证了程序的完整性和正确性。同时采用全组合编码的方式解决了报表选择输出时,校核关系有效性的问题。

关 键 词：报表 校核关系 形式化 全组合编码 

分 类 号：TP311.13[自动化与计算机技术—计算机软件与理论]