Title :
Flexible real-time SQL transactions
Author :
Fortier, Paul J. ; Wolfe, Victor Fay ; Prichard, J.J.
Author_Institution :
Univ. of Massachusetts, Dartmouth, MA, USA
Abstract :
Presents flexible transaction structuring capabilities that allow related ACID properties (atomicity, consistency, isolation and durability) for better support of real-time transactions. The specification of these flexible transaction structures is demonstrated through proposed extensions to the standard SQL database language
Keywords :
SQL; formal specification; real-time systems; transaction processing; ACID properties; SQL database language; atomicity; consistency; durability; flexible transaction structuring; isolation; real-time transactions; Real time systems; Software requirements and specifications;
Conference_Titel :
Real-Time Systems Symposium, 1994., Proceedings.
Conference_Location :
San Juan
Print_ISBN :
0-8186-6600-5
DOI :
10.1109/REAL.1994.342707
