scientific article; zbMATH DE number 970717

MaRDI QIDQ5688902zbMATH OpenFDO

Authors Raymond Reiter

Publication date 25 May 1997

zbMATH Keywords

database updates

Mathematics Subject Classification ID

Logic programming (68N17) Database theory (68P15)

Recommendations

• On specifying database updates
• scientific article; zbMATH DE number 44621
• scientific article; zbMATH DE number 1390348

Cited in

(8)

• An overview of transaction logic
• Database repair via event-condition-action rules in dynamic logic
• On specifying database updates
• The ramification problem in temporal databases: concurrent execution
• Formal specification scheme for database applications using requirements particle networks
• scientific article; zbMATH DE number 1507285 (Why is no real title available?)
• scientific article; zbMATH DE number 1390348 (Why is no real title available?)
• Foundations of Information and Knowledge Systems

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 Q5688902)