数据模型分析(或:科学逻辑)