保证数据库中数据及语义的正确性和有效性，是数据库的()。