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
• Publication:4934640

Cited in

(7)

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

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)