在数据库系统中，保证数据及语义正确和有效的功能是__________。