Loading...
Please wait, while we are loading the content...
Similar Documents
Consistency and orderability: Semantics-based correctness criteria for databases (1993)
| Content Provider | CiteSeerX |
|---|---|
| Author | Singh, Ambuj K. Abbadi, Amr El Agrawal, Divyakant |
| 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 nonsenalizable executions that are acceptable to the users. Integrity constraints of the database are maintained through consistency assertions. The second correct-ness criterion orderabdlty is a generalization of view serializability and represents a weak notion of eqmvalence to a serial schedule. Finally, the third correctness criterion strong order-abzlity is introduced as a generalization of conflict serializabihty. 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, |
| File Format | |
| Journal | ACM Transactions on Database Systems |
| Publisher Date | 1993-01-01 |
| Access Restriction | Open |
| Subject Keyword | Semantics-based Correctness Criterion Third Correctness Criterion Strong Order-abzlity Conflict Serializabihty Admits Nonsenalizable Execution Database System Second Correct-ness Criterion Orderabdlty New Correctness Criterion Integrity Constraint User Specification Serial Schedule Weak Notion First Correctness Criterion Consistency User Program Consistency Assertion User-defined Predicate View Serializability |
| Content Type | Text |
