在三大传统的数据模型中，具有严格的数学理论基础的是（）。