Deduction in non-Horn databases

• 1 January 1985
• journal article
• Published by Springer Nature in Journal of Automated Reasoning
• Vol. 1  (2)
• https://doi.org/10.1007/bf00244994

Abstract

Keywords

• DEDUCTIVE DATABASES
• NON-HORN DATABASES
• GENERALIZED CLOSED-WORLD ASSUMPTION