On correctness on nonserializable executions

DOI10.1006/JCSS.1997.1536MaRDI QIDQ1267712zbMATH OpenOpenAlexFDO

Authors Rajeev Rastogi, Sharad Mehrotra, Henry F. Korth, Avi Silberschatz, Yuri Breitbart

Publication date 21 June 1999

Published in Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1006/jcss.1997.1536

zbMATH Keywords

serializability

Mathematics Subject Classification ID

Database theory (68P15)

Recommendations

• On serializability
• Correctness criteria for databases using abstract data types
• Serialization of concurrent programs
• Semantic serializability: A correctness criterion for processing transactions in advanced database applications
• On relaxing serializability by constraining transaction readsets

Cites work

• scientific article; zbMATH DE number 3986679 (Why is no real title available?)
• Commutativity-based concurrency control for abstract data types
• Locking Primitives in a Database System
• On long-duration CAD transactions
• Using semantic knowledge for transaction processing in a distributed database

Cited in

(6)

• Short note: Strict unwraps make worker/wrapper fusion totally correct
• I-serializability: generalized correctness for transaction-based environments
• Critique of the Lake Arrowhead three
• Correctness criteria for databases using abstract data types
• On serializability
• scientific article; zbMATH DE number 3947612 (Why is no real title available?)

This page was built for publication: On correctness on nonserializable executions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1267712)