Combining transactions and automatic repairs

DOI10.1093/LOGCOM/EXV006MaRDI QIDQ4612416zbMATH OpenOpenAlexFDO

Authors Ana Sofia Gomes, José Júlio Alferes

Publication date 31 January 2019

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/cce4661ab51b3a13c6f705d1b2d9507a97b7c720

zbMATH Keywords

automatic compensationsexternal transaction logicrepair plans

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• External Transaction Logic with Automatic Compensations
• Transaction logic with external actions
• scientific article; zbMATH DE number 1536548
• Recovery within long-running transactions
• An overview of transaction logic

Cited in

(1)

• Transaction logic with external actions

This page was built for publication: Combining transactions and automatic repairs

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