Deduction trees and the view update problem in indefinite deductive databases

DOI10.1023/A:1005779507994MaRDI QIDQ1367079zbMATH OpenOpenAlexFDO

Authors Bernhard Rupp, Calvin A. Johnson

Publication date 4 February 1998

Published in Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1005779507994

zbMATH Keywords

deduction treeview update

Mathematics Subject Classification ID

Database theory (68P15)

Recommendations

• Drawing updates from derivations
• View updates in stratified disjunctive databases
• The View-Update Problem for Indefinite Databases
• Model theoretic approach to view updates in deductive databases

Cited in

(9)

• Computing only minimal answers in disjunctive deductive databases
• View updates in stratified disjunctive databases
• Model theoretic approach to view updates in deductive databases
• The View-Update Problem for Indefinite Databases
• Complexity of Views: Tree and Cyclic Schemas
• Drawing updates from derivations
• A Transformation-Based Approach to View Updating in Stratifiable Deductive Databases
• Update propagation in deductive databases using soft stratification
• A logical framework for view updating in indefinite databases

This page was built for publication: Deduction trees and the view update problem in indefinite deductive databases

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1367079)