Combining transactions and automatic repairs

DOI10.1093/LOGCOM/EXV006zbMATH Open1410.68345OpenAlexW2331208070MaRDI QIDQ4612416FDOQ4612416

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

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

zbMATH Keywords

automatic compensationsexternal transaction logicrepair plans

Mathematics Subject Classification ID

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

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)