Formal specification of the epsilon serializibility considering quality of service
| Autor: | Angelo Perkusich, Pedro Fernandes Ribeiro Neto, Maria Ligia B. Perkusich |
|---|---|
| Rok vydání: | 2004 |
| Předmět: |
Non-lock concurrency control
Transaction processing Computer science Concurrency Distributed computing Multiversion concurrency control computer.software_genre Consistency (database systems) Concurrency control Serializability Data integrity Distributed transaction Online transaction processing Transaction processing system Isolation (database systems) Transaction data Database transaction Optimistic concurrency control computer Rollback |
| Zdroj: | SMC |
| DOI: | 10.1109/icsmc.2003.1244517 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|