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

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

Cited in

(8)

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