PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Meghini C., Thanos C. An optimal predicate locking scheduler. In: Journal of Computer and System Sciences, vol. 53 (3) pp. 443 - 468. Academic Press, 1996.
 
 
Abstract
(English)
The paper presents a predicate locking scheduler that maximizes concurrency by locking as many of the database entities as possible without compromising the correctness of execution of the database transactions. The scheduling strategy that guarantees the maximal concurrency is first identified, then a predicate language allowing an efficient implementation of this strategy is given. The optimal predicate locking scheduler is successively presented, based on a lattice-theoretic formalization of the underlying concepts. Finally, the range of applicability of the optimal scheduling strategy is circumscribed, by showing that any significant extension to the expressive power of the predicate language accepted by the optimal scheduler causes an irreparable loss of efficiency.
DOI: 10.1006/jcss.1996.0080
Subject


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional