Converting Mathematical Models of Physiological Systems to Relational Database Schemes for Analysis and Comparison

It is proposed that computable mathematical models of physiological systems can be explained and studied by a query language based upon converting the source code into a relation database scheme. In such a scheme, each assignment statement is assumed to be equivalent to a functional dependency. The dependencies formed constitute a lossless decomposition of the model scheme when the derived dependencies are augmented by a key consisting of input attributes. The method is demonstrated on two common computational forms: simultaneous equations and the Euler solution to ordinary differential equations. A simple example is used to show that computing closure on attributes can establish the difference between two models.