scientific article; zbMATH DE number 970717

zbMATH Open0862.68040MaRDI QIDQ5688902FDOQ5688902

Authors: Raymond Reiter 

Publication date: 25 May 1997

Title of this publication is not available (Why is that?)

Recommendations

• On specifying database updates
• scientific article; zbMATH DE number 44621
• Publication:4934640

zbMATH Keywords

database updates

Mathematics Subject Classification ID

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

Cited In (7)

• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Formal specification scheme for database applications using requirements particle networks

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)