Drawing updates from derivations

DOI10.1007/3-540-53507-1_94MaRDI QIDQ4694705zbMATH OpenFDO

Authors Hendrik Decker

Publication date 29 June 1993

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-53507-1_94

zbMATH Keywords

deductive databasesSLDNF treeupdate requestview update

Mathematics Subject Classification ID

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

Recommendations

• Deduction trees and the view update problem in indefinite deductive databases
• View updates in stratified disjunctive databases
• Model theoretic approach to view updates in deductive databases
• Update operations in deductive databases with functional dependencies
• Theorem proving techniques for view deletion in databases

Cited in

(11)

• View updates in stratified disjunctive databases
• Update operations in deductive databases with functional dependencies
• Deduction trees and the view update problem in indefinite deductive databases
• The use of deleted tuples in database querying and updating
• Inconsistency-Tolerant Integrity Checking for Knowledge Assimilation
• Dealing with modification requests during view updating and integrity constraint maintenance
• Knowledge base dynamics, abduction, and database updates
• Logic Programming
• A Transformation-Based Approach to View Updating in Stratifiable Deductive Databases
• Theorem proving techniques for view deletion in databases
• Updating knowledge bases

Describes a project that uses

Uses Software

• SATCHMO

This page was built for publication: Drawing updates from derivations

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