Consistency and orderability

Semantics-based correctness criteria for databases

Divyakant Agrawal, Amr El Abbadi, Ambuj K. Singh

Research output: Contribution to journalArticle

25 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 admits 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 orderability is introduced as a generalization of conflict serializability. Unlike consistency, the notions of orderability allow users to operate in isolation as maintenance of the integrity constraints now becomes the responsibility of the database system.

Original languageEnglish
Pages (from-to)460-486
Number of pages27
JournalACM Transactions on Database Systems
Volume18
Issue number3
DOIs
Publication statusPublished - 1 Sep 1993
Externally publishedYes

Fingerprint

Semantics
Specifications

ASJC Scopus subject areas

  • Computer Graphics and Computer-Aided Design
  • Information Systems
  • Software

Cite this

Consistency and orderability : Semantics-based correctness criteria for databases. / Agrawal, Divyakant; Abbadi, Amr El; Singh, Ambuj K.

In: ACM Transactions on Database Systems, Vol. 18, No. 3, 01.09.1993, p. 460-486.

Research output: Contribution to journalArticle

Agrawal, Divyakant ; Abbadi, Amr El ; Singh, Ambuj K. / Consistency and orderability : Semantics-based correctness criteria for databases. In: ACM Transactions on Database Systems. 1993 ; Vol. 18, No. 3. pp. 460-486.
@article{b8cb556bc8ad4737b8a31dc20fa81026,
title = "Consistency and orderability: Semantics-based correctness criteria for databases",
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 admits 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 orderability is introduced as a generalization of conflict serializability. Unlike consistency, the notions of orderability allow users to operate in isolation as maintenance of the integrity constraints now becomes the responsibility of the database system.",
author = "Divyakant Agrawal and Abbadi, {Amr El} and Singh, {Ambuj K.}",
year = "1993",
month = "9",
day = "1",
doi = "10.1145/155271.155276",
language = "English",
volume = "18",
pages = "460--486",
journal = "ACM Transactions on Database Systems",
issn = "0362-5915",
publisher = "Association for Computing Machinery (ACM)",
number = "3",

}

TY - JOUR

T1 - Consistency and orderability

T2 - Semantics-based correctness criteria for databases

AU - Agrawal, Divyakant

AU - Abbadi, Amr El

AU - Singh, Ambuj K.

PY - 1993/9/1

Y1 - 1993/9/1

N2 - 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 admits 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 orderability is introduced as a generalization of conflict serializability. Unlike consistency, the notions of orderability allow users to operate in isolation as maintenance of the integrity constraints now becomes the responsibility of the database system.

AB - 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 admits 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 orderability is introduced as a generalization of conflict serializability. Unlike consistency, the notions of orderability allow users to operate in isolation as maintenance of the integrity constraints now becomes the responsibility of the database system.

UR - http://www.scopus.com/inward/record.url?scp=0027657561&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0027657561&partnerID=8YFLogxK

U2 - 10.1145/155271.155276

DO - 10.1145/155271.155276

M3 - Article

VL - 18

SP - 460

EP - 486

JO - ACM Transactions on Database Systems

JF - ACM Transactions on Database Systems

SN - 0362-5915

IS - 3

ER -