scientific article; zbMATH DE number 1543039

MaRDI QIDQ4520489zbMATH OpenFDO

Authors Nandit Soparkar, Charles Wallace, Yuri Gurevich

Publication date 26 February 2001

Full work available at URL http://www.jucs.org/jucs_3_4/formalizing_database

zbMATH Keywords

failure resilience

Mathematics Subject Classification ID

Database theory (68P15)

Recommendations

• A theory of reliability in database systems
• scientific article; zbMATH DE number 1227002
• Resilient Concurrency Control in Distributed Database Systems
• A proof technique for concurrency control and recovery algorithms for replicated databases
• scientific article; zbMATH DE number 971416

Cited in

(2)

• Demand re-registration for PCS database restoration
• Reducing crash recoverability to reachability

This page was built for publication:

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