scientific article; zbMATH DE number 4162254
From MaRDI portal
Publication:3489445
Cited in
(11)- Theorem proving techniques for view deletion in databases
- scientific article; zbMATH DE number 1951184 (Why is no real title available?)
- Belief change as change in epistemic entrenchment
- Broyden updating, the good and the bad!
- Datalog extensions for database queries and updates
- How to progress a database
- Fixpoint semantics for active integrity constraints
- Active integrity constraints for general-purpose knowledge bases
- Update operations in deductive databases with functional dependencies
- Updating knowledge bases
- Knowledge base dynamics, abduction, and database updates
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 Q3489445)