A framework for designing concurrent and recoverable abstract data types based on commutativity

Carmelo Malta , José Martinez (1)

1 LINA - Laboratoire d'Informatique de Nantes Atlantique

In this paper, we try to focus the reader's interest on the problems that transactional systems have to resolve for taking advantage of commutativity in a serializable and recoverable way. Our framework is, (as others), based on the use of conditional commutativity on abstract date types. We present new features that have not been found in the literature hitherto, that both increase concurrency and simplify recovery.

Mots clés: Serializability; concurrency control; recovery; commutativity; abstract data types

Domaines: Base de données [cs.DB]

Carmelo Malta, José Martinez. A framework for designing concurrent and recoverable abstract data types based on commutativity. International Symposium on Computer and Information Sciences (ISCIS'91), Oct 1991, Side, Turkey. pp. 189-198. ⟨hal-00462311⟩