A Transformation-Based Approach to View Updating in Stratifiable Deductive Databases
From MaRDI portal
Recommendations
Cites work
- A fixpoint characterization of abductive logic programs
- Advances in Databases and Information Systems
- scientific article; zbMATH DE number 4147465 (Why is no real title available?)
- scientific article; zbMATH DE number 43398 (Why is no real title available?)
- scientific article; zbMATH DE number 1088032 (Why is no real title available?)
- scientific article; zbMATH DE number 1096548 (Why is no real title available?)
- Model generation and state generation for disjunctive logic programs
- On the abductive or deductive nature of database schema validation and update processing problems
- Theorem proving techniques for view deletion in databases
- View updates in stratified disjunctive databases
Cited in
(6)- Model theoretic approach to view updates in deductive databases
- scientific article; zbMATH DE number 1096548 (Why is no real title available?)
- scientific article; zbMATH DE number 1507286 (Why is no real title available?)
- scientific article; zbMATH DE number 1737514 (Why is no real title available?)
- Advances in Databases and Information Systems
- Theorem proving techniques for view deletion in databases
This page was built for publication: A Transformation-Based Approach to View Updating in Stratifiable Deductive Databases
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5445305)