作为一个庞大的系统软件，DBMS由众多程序模块组成，它们分别实现DBMS复杂而繁多的功能。其中完整性控制程序属于下列( )程序模块。