MathCAL and Its Database Design