在三大传统的数据模型中,具有严格的数学理论基础的是()模型。