A taxonomy of correctness criteria in database applications

• 1 January 1996
• journal article
• Published by Springer Nature in The VLDB Journal
• Vol. 5  (1) , 85-97
• https://doi.org/10.1007/s007780050017

Abstract

Keywords

• KEY WORDS: TRANSACTION PROCESSING - CONCURRENCY CONTROL - DATABASE CORRECTNESS CRITERIA - FORMAL SPECIFICATIONS