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

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