Consistency and Orderability: Semantics-Based Correctness Criteria for Databases

Divyakant Agrawal, Amr El Abbadi, Ambuj K. Singh

Research output: Contribution to journalArticle

27 Citations (Scopus)

Abstract

The semantics of objects and transactions in database systems are investigated. User-defined predicates called consistency assertions are used to specify user programs. Three new correctness criteria are proposed. The first correctness criterion consistency is based solely on the users' specifications and admit nonserializable executions that are acceptable to the users. Integrity constraints of the database are maintained through consistency assertions. The second correctness criterion orderability is a generalization of view serializability and represents a weak notion of equivalence to a serial schedule. Finally, the third correctness criterion strong order-ability is introduced as a generalization of conflict serializability. Unlike consistency, the notions of orderability allow users to operate an isolation as maintenance of the integrity constrainst now becomes the responsibility of the database system.

Original languageEnglish
Pages (from-to)460-486
Number of pages27
JournalACM Transactions on Database Systems (TODS)
Volume18
Issue number3
DOIs
Publication statusPublished - 9 Jan 1993

    Fingerprint

Keywords

  • Concurrency control
  • object-oriented databases
  • semantics
  • serializability theory

ASJC Scopus subject areas

  • Information Systems

Cite this