Filters








8,659 Hits in 3.3 sec

A Theory of Timestamp-Based Concurrency Control for Nested Transactions

James Aspnes, Alan D. Fekete, Nancy A. Lynch, Michael Merritt, William E. Weihl
1988 Very Large Data Bases Conference  
We present a rigorous framework for analyzing timestampbased concurrency control and recovery algorithms for nested transactions.  ...  We define a local correctness property, local static atomic@, that affords useful modularity. We show that local static atomicity of each object is sufficient to ensure global serializability.  ...  The classical transactions of concurrency control theory (without nesting) appear in our model as the children of a "mythical" transaction, To, the root of the transaction tree.  ... 
dblp:conf/vldb/AspnesFLMW88 fatcat:mp66bwg745hrfn522iraex2lmm

Introduction to the theory of nested transactions [chapter]

Nancy Lynch, Michael Merritt
1986 Lecture Notes in Computer Science  
By answering the question "What is a nested transaction?", I/O automata provide a powerthl tool for understanding and reasoning about them.  ...  a variety of questions. 'llais previous work uses behavioral specifications of nested transactions, focusing on what nested transactions do, rather than what they are.  ...  Introduction This paper develops the foundation for a general theory of nested transactions. We present a simple formal model for studying concurrency and resiliency in a nested environment.  ... 
doi:10.1007/3-540-17187-8_42 fatcat:puooa6pz5ja2bc527gloks3fyi

Generalization of ACID Properties [chapter]

Brahim Medjahed, Mourad Ouzzani, Ahmed K. Elmagarmid
2017 Encyclopedia of Database Systems  
For example, visibility relaxes the isolation property by enabling the sharing of partial results and hence promoting cooperation among concurrent transactions.  ...  SYNONYMS Advanced Transaction Models; Extended Transaction Models DEFINITION ACID (Atomicity, Consistency, Isolation, and Durability) is a set of properties that guarantee the reliability of database transactions  ...  Nesting allows concurrency within a transaction and provides fine-grained and hierarchical control for failure handling.  ... 
doi:10.1007/978-1-4899-7993-3_736-2 fatcat:oly2dxrieba4zpdka22akpk4gm

Concurrency Control Monitor for Nested Transactions based on Autonomous Agents

J. Martínez, M. Alvarado
2005 Inteligencia Artificial  
In this paper, an atomic commit protocol for nested transactions over mobile devices combined with a concurrency control mechanism is introduced.  ...  Transaction processing monitors featuring nested transactions are in the core model for mission-critical applications.  ...  Flexibility of the Nested Approach Nested transactions are apposite for offering better performance in concurrency and fault-tolerance.  ... 
doi:10.4114/ia.v9i25.767 fatcat:zlut7acyvfgu3imdagxmhrf7vm

Generalization of ACID Properties [chapter]

Linda L. Hill, Mehmet M. Dalkiliç, Brahim Medjahed, Mourad Ouzzani, Ahmed K. Elmagarmid, Joseph M. Hellerstein, Colin R. Reeves, Christopher B. Jones, Ross S. Purves, Michael F. Goodchild, Jayant Sharma, John Herring (+24 others)
2009 Encyclopedia of Database Systems  
For example, visibility relaxes the isolation property by enabling the sharing of partial results and hence promoting cooperation among concurrent transactions.  ...  SYNONYMS Advanced Transaction Models; Extended Transaction Models DEFINITION ACID (Atomicity, Consistency, Isolation, and Durability) is a set of properties that guarantee the reliability of database transactions  ...  Nesting allows concurrency within a transaction and provides fine-grained and hierarchical control for failure handling.  ... 
doi:10.1007/978-0-387-39940-9_736 fatcat:5gyypjtmrje2zdpsmqpezyw4hq

A serialization graph construction for nested transactions

Alan Fekete, Nancy Lynch, William E. Weihl
1990 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems - PODS '90  
First, we present a proof technique that offers system designers the same ease of reasoning about nested transaction systems as is given by the classical theory for systems without nesting, and yet can  ...  or proved for nested transaction systems.  ...  Acknowledgements We thank Michael Merritt for many useful comments that helped improve the content and presentation of this paper.  ... 
doi:10.1145/298514.298547 dblp:conf/pods/FeketeLW90 fatcat:vnsncxwt65b4vflgfyye56sto4

Page 2925 of Mathematical Reviews Vol. , Issue 90E [page]

1990 Mathematical Reviews  
of nested transactions.  ...  This paper describes a new formal model for studying concurrency and resiliency in a nested environment. The main advantages of the model are its simplicity and the unification it provides.  ... 

Optimistic Concurrency Semantics for Transactions in Coordination Languages [chapter]

Suresh Jagannathan, Jan Vitek
2004 Lecture Notes in Computer Science  
We provide a semantics for a transactional coordination calculus and state a soundness result for this semantics.  ...  In this paper, we explore the role of an optimistic transactional facility for a Linda-like coordination language.  ...  In a nested transaction model, multiple threads can be executing in parent and child transaction concurrently.  ... 
doi:10.1007/978-3-540-24634-3_15 fatcat:kk2wnoesqrh23allbtep2rztni

WTTM 2012, the fourth workshop on the theory of transactional memory

Vincent Gramoli, Alessia Milani
2012 ACM SIGACT News  
and impact on the theory and practice of distributed computing have been evident for at least a decade.  ...  This year's WTTM was a milestone event for two reasons.  ...  Acknowledgements We are grateful to the speakers, to the program committee members of WTTM 2012 for their help in reviewing this year's submissions and to Panagiota Fatourou for her help in the organization  ... 
doi:10.1145/2421119.2421141 fatcat:ki2pxs4enrggfkpsj2jys76prm

Introduction to the theory of nested transactions

Nancy Lynch, Michael Merritt
1986 Theoretical Computer Science  
This paper develops the foundation for a general theory of nested transactions. We present a simple formal model for studying concurrency and resiliency in a nested environment.  ...  A new formal model is presented for studying concurrency and resiliency properties for nested transactions. The model is used to state and prove correctness of a well-known locking algorithm.  ...  The classical transactions of concurrency control theory (without nesting) appear in our model as the children of a "mythical" transaction, To, the root of the transaction tree.  ... 
doi:10.1016/0304-3975(86)90014-9 fatcat:67achg4hq5g3lgiderswxxwfkm

Concurrency control in trusted database management systems

Bhavani Thuraisingham, Hai-Ping Ko
1993 SIGMOD record  
This paper provides a survey of the concurrency control algorithms for a TDBMS and discusses future directions.  ...  Recently several algorithms have been proposed for concurrency control in a Trusted Database Management System (TDBMS).  ...  theory of database concurrency control.  ... 
doi:10.1145/166635.166654 fatcat:szofbcwpw5cxzgyf7tepkxb2iq

Transactional Correctness for Secure Nested Transactions [chapter]

Dominic Duggan, Ye Wu
2012 Lecture Notes in Computer Science  
This article considers correctness in terms of transactional properties for secure nested transactions. Correctness is expressed in terms of a labeled transition system, the TauZero calculus.  ...  They have application in security for enterprise applications, where transactional semantics are a critical feature in middleware systems.  ...  Wojciechowski [21] verifies isolation for a language with nested transactions, extending lock types to ensure that concurrency control is properly attained.  ... 
doi:10.1007/978-3-642-30065-3_11 fatcat:5xz25ugazfg7zl445zyeapveiq

Page 3946 of Mathematical Reviews Vol. , Issue 92g [page]

1992 Mathematical Reviews  
The model generalises the classical model of database concurrency control: it allows for nested transactions (as opposed to flat trans- actions) which may issue arbitrary operations (as opposed to just  ...  Summary: “We propose a formal model of concurrency control in object bases.  ... 

Multilevel atomicity---a new correctness criterion for database concurrency control

Nancy A. Lynch
1983 ACM Transactions on Database Systems  
vMultilevel atomicityq , a new correctness criteria for database concurrency control, is defined.  ...  A characterization for multilevel atomicity, in terms of absence of cycles in a dependency relation among transaction steps, is given. Some remarks are made concerning implementation.  ...  The author is grateful to Nancy Grifleth, Mike Merritt and Mike Fischer for many discussions about the subjects covered in this paper.  ... 
doi:10.1145/319996.319999 fatcat:xyx5au2iknfwrp6bqebskv6jdy

A Model of CAD Transactions

François Bancilhon, Won Kim, Henry F. Korth
1985 Very Large Data Bases Conference  
A CAD environment requires a significantly different model of transaction from that developed for typical data-processing applications.  ...  A CAD transaction, initiated on a private system, consists of  ...  In the next subsection, we describe several basic types of transaction. Basic Examples We start with the simplest form of transaction: the one used in standard concurrency control theory.  ... 
dblp:conf/vldb/BancilhonKK85 fatcat:v453jllcarfyzcj3f7ga3alkqe
« Previous Showing results 1 — 15 out of 8,659 results