scientific article; zbMATH DE number 4176438

MaRDI QIDQ3200539zbMATH OpenFDO

Authors Rüdiger Schätz

Publication date 1989

zbMATH Keywords

deductive databasedelete operationsHorn formulas

Mathematics Subject Classification ID

Database theory (68P15)

Recommendations

• Formalizing falsification: Three delete operations
• scientific article; zbMATH DE number 4033146
• New results on the complexity of deletion propagation
• scientific article; zbMATH DE number 64179
• On the difference of Horn theories

Cited in

(6)

• Argument deletion without events
• SEF view deletion under bounded condition
• Logics with Copy and Remove
• scientific article; zbMATH DE number 4033146 (Why is no real title available?)
• scientific article; zbMATH DE number 64179 (Why is no real title available?)
• Formalizing falsification: Three delete operations

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