调式的关键在于推断程序内部的错误位置及原因。其主要的调试方法有哪些？

调式的关键在于推断程序内部的错误位置及原因。其主要的调试方法有：强行排错法、回溯法和原因排除法。
1 强行排错法：是传统的调试方法，其过程可概括为：设置断点、程序暂停、观察程序状态、继续运行程序。这是目前使用较多、效率较低的调试方法。
2 回溯法：该方法适合于小规模程序的排错。即一旦发现了错误，先分析错误征兆，确定最先发现"症状"的位置。然后，从发现"症状"的地方开始，沿程序的控制流程，逆向跟踪源程序代码，直到找到错误根源或确定错误产生的原因。
3 原因排除法：是通过演绎和归纳，以及二分法来实现的。
　　数据库系统在其内部具有三级模式及二级映射，三级模式分别是概念级模式、内部级模式和外部级模式。