University Publications Faculty Publications Theses & Dissertations Rare Books Virtual Gallery

Policies Help Tutorial How to Submit [Video] Contact us

Please use this identifier to cite or link to this item: http://hdl.handle.net/20.500.11889/4413
Title: Deduction in non-Horn databases
Authors: Yahya, Adnan
Henschen, Larry
Keywords: Deductive databases
generalized closed-world assumption
non-Horn databases
Negation (Logic)
Logic programming
Issue Date: 1-Jun-1984
Publisher: Klewer Publishing
Citation: Yahya, A., & Henschen, L. J. (1985). Deduction in non-Horn databases. Journal of Automated Reasoning, 1(2), 141-160. DOI: 10.1007/BF00244994
Abstract: 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 computationaly 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.
URI: http://hdl.handle.net/20.500.11889/4413
Appears in Collections:Fulltext Publications

Files in This Item:
File Description SizeFormat 
YahyaHenschenAbstract.pdf84.06 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.