Deduction in non-Horn databases
type: Item
instance of: scholarly article
title: Deduction in non-Horn databases
zbMATH Open document ID: 0614.68072
DOI: 10.1007/BF00244994
author: Adnan Yahya
author: Lawrence Henschen
published in: Journal of Automated Reasoning
publication date: 1985-01-01T00:00:00Z
review text: The class of non-Horn, function-free databases is investigated and several aspects of the problem of using theorem proving techniques for such databases are considered. This includes exploring the treatment of negative information and extending the existing method, suggested by Minker, to accept non-unit negative clauses. It is shown that the algorithms based on the existing methods for the treatment of negative information can be highly inefficient. An alternative approach is suggested and a simpler algorithm based on it is given. The problems associated with query answering in non-Horn databases are addressed and compared with those for the Horn case. It is shown that the query evaluation process can be computationally difficult in the general case. Conditions under which the process is simplified are discussed. The topic of non-Horn general laws is considered and some guidelines are suggested to divide such laws into derivation rules and integrity constraints. The effect of such a division on the query evaluation process is discussed.
Mathematics Subject Classification ID: 68P20
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 3995090
zbMATH Keywords: deductive databases
zbMATH Keywords: generalized closed-world assumption
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 3995090