23.1 备份理论和基本语法