DBMS提供______来严格地定义内模式。