Skip to Main Content
In this paper we present a formal specification of a queueing network performance evaluation model for database designs. The purpose of the model is to provide what if comparisons of database designs before database system implementation. The performance model is applied to the performance evaluation of three database designs of an implementation of the TPC-C benchmark. Experimental evaluation showed that the database design queueing network model was able to give an upper bound of system response time in the steady state for the measured system.