FORMAL是报表处理语言(FORm MAnipulation Language)的英语缩写，它是一个面向事务数据处理的非过程性的语言。在事务数据处理世界里，人们总是在制作各种各样的报表，将收集来的原始数据填入有关报表中，针对不同的要求从原始数据中提取有关信息，进行加工运算，得到结果数据，又填入新的报表中。FORMAL是报表处理语言(FORm MAnipulation Language)的英语缩写，它是一个面向事务数据处理的非过程性的语言。在事务数据处理世界里，人们总是在制作各种各样的报表，将收集来的原始数据填入有关报表中，针对不同的要求从原始数据中提取有关信息，进行加工运算，得到结果数据，又填入新的报表中。FORMAL可用来定义数据处理流程的规划图，定义各种形式的报表、以及定义从原始报表数据转变为新报表数据的变换规则。