Formal specification of the epsilon serializibility considering quality of service

Recent research points to the real-time database systems (RTDB) as an integrant part in relation to applications as telephony, aviation and stock exchange online. Since for these activities it is not enough to keep the logical consistency of data and transaction, it is necessary to know the imposed temporal constraint to them. However, when some transactions are executed in concurrency way, the consistency of data and transactions cannot be guaranteed. Then, it is necessary that the system controls the interaction between them. The system that controls this interaction is called seriliazibility. In the RTDBs the serializibility is generalized to allow imprecision limited in the transaction processing. This imprecision is defined and controlled through the compatibility function (CF) aiming at allowing a large number of concurrent executions of the transactions. In this research we show a new approach for the CF. Thus, we insert quality of services (QoS) mechanisms in which these make possible that some parameters are limited to acceptable values in order to attend application intention.