Deduction trees and the view update problem in indefinite deductive databases

DOI10.1023/A:1005779507994zbMath0882.68055OpenAlexW1552875135MaRDI QIDQ1367079

Bernhard Rupp

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

view updatededuction tree

Mathematics Subject Classification ID

Database theory (68P15)

Related Items (1)

Computing only minimal answers in disjunctive deductive databases

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