Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,633,600 papers from all fields of science
Search
Sign In
Create Free Account
Atomicity (database systems)
Known as:
Transaction
, Atomic update
, Atomic transaction
Expand
In database systems, atomicity (or atomicness; from Greek atomos, undividable) is one of the ACID transaction properties. An atomic transaction is an…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
49 relations
ACID
Atomic commit
Compare-and-swap
Composability
Expand
Broader (1)
Transaction processing
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2012
Highly Cited
2012
RADISH: Always-on sound and complete race detection in software and hardware
Joseph Devietti
,
Benjamin P. Wood
,
K. Strauss
,
L. Ceze
,
D. Grossman
,
S. Qadeer
International Symposium on Computer Architecture
2012
Corpus ID: 3202446
Data-race freedom is a valuable safety property for multithreaded programs that helps with catching bugs, simplifying memory…
Expand
2011
2011
Liveness-Preserving Atomicity Abstraction
Alexey Gotsman
,
Hongseok Yang
International Colloquium on Automata, Languages…
2011
Corpus ID: 2443559
Modern concurrent algorithms are usually encapsulated in libraries, and complex algorithms are often constructed using libraries…
Expand
Highly Cited
2010
Highly Cited
2010
Verification of a Timed Multitask System With Uppaal
Houda Bel Mokadem
,
B. Bérard
,
V. Gourcuff
,
Jean-Marc Roussel
,
O. D. Smet
IEEE Transactions on Automation Science and…
2010
Corpus ID: 15787582
System and program verification has been a large area of research since the introduction of computers in industrial systems. It…
Expand
2008
2008
The Pervasive Workflow: A Decentralized Workflow System Supporting Long-Running Transactions
Frederic Montagut
,
R. Molva
,
S. Golega
IEEE Transactions on Systems Man and Cybernetics…
2008
Corpus ID: 14843638
Workflow technologies are becoming pervasive in that they enable the execution of business processes in distributed and…
Expand
Review
2007
Review
2007
First Silicon Functional Validation and Debug of Multicore Microprocessors
T. J. Foster
,
Dennis L. Lastor
,
P. Singh
IEEE Transactions on Very Large Scale Integration…
2007
Corpus ID: 12564090
Microprocessor designs are increasingly moving towards multiple cores on a single die. Validating memory consistency, coherency…
Expand
Review
1998
Review
1998
Implementation and Performance Issues with OpenSound Control
M. Wright
International Conference on Mathematics and…
1998
Corpus ID: 26481357
OpenSound Control (OSC) is a new protocol for high-level, expressive control of sound synthesis and other multimedia applications…
Expand
Review
1996
Review
1996
Correctness issues in workflow management
Distributed Syst. Eng.
1996
Corpus ID: 15509232
Workflow management is a technique to integrate and automate the execution of steps that comprise a complex process, e.g., a…
Expand
Highly Cited
1996
Highly Cited
1996
RTCAST: lightweight multicast for real-time process groups
T. Abdelzaher
,
A. Shaikh
,
F. Jahanian
,
K. Shin
Proceedings Real-Time Technology and Applications
1996
Corpus ID: 11930720
We propose a lightweight fault tolerant multicast and membership service for real time process groups which may exchange periodic…
Expand
Highly Cited
1987
Highly Cited
1987
Log files: an extended file service exploiting write-once storage
R. Finlayson
,
D. Cheriton
Symposium on Operating Systems Principles
1987
Corpus ID: 11007417
A log service provides efficient storage and retrieval of data that is written sequentially (append-only) and not subsequently…
Expand
1985
1985
Transactional Blackboards
J. Ensor
,
J. D. Gabbe
International Joint Conference on Artificial…
1985
Corpus ID: 15226681
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE