On recursive axioms in deductive databases
type: Item
instance of: scholarly article
title: On recursive axioms in deductive databases
zbMATH Open document ID: 0572.68086
DOI: 10.1016/0306-4379(83)90024-8
author: Jack Minker
author: Jean-Marie Nicolas
published in: Information Systems
publication date: 1983-01-01T00:00:00Z
review text: One of the basic problems of deductive relational databases is that of termination, since recursive axioms may lead to infinite derivation paths. Several methods have been proposed how to handle this problem [cf. e.g. \textit{C. L. Chang} [On evaluation queries containing derived relations in a relational data base, Advances in Data Base Theory, Vol. 1, 235-260 (1981; Zbl 0508.68061)], \textit{S. C. Shapiro} and \textit{D. P. McKay} [Inference with recursive rules, Proc. Nat. Conf. AI, Stanford Univ., Calif., 151-153 (1980)], \textit{S. A. Nagvi} and \textit{L. J. Henschen} [Performing inferences over recursive data bases, Proc. Nat. Conf. AI, Stanford Univ., Calif., 263-265 (1980)], and \textit{R. Reiter} [On structuring a first order data base, Proc. Canadian Soc. Comput. Stud. Intelligence, Second Nat. Conf. (ed. R. Perraut), Toronto (1978)]. The present paper generalizes Chang's solution to cover a larger class of cases. Moreover, a new method is suggested based on Reiter's approach - this method relies upon an adequate separation between generation and derivation rules.
Mathematics Subject Classification ID: 68P20
Mathematics Subject Classification ID: 68P05
zbMATH DE Number: 3913730
zbMATH Keywords: recursive rules
zbMATH Keywords: relational databases
zbMATH Keywords: termination
Wikidata QID: Q114683679
reviewed by: Olga Stepankova
MaRDI profile type: Publication
full work available at URL: 0306-4379(83)90024-8
OpenAlex ID: W2014580042
Recommended article: The Alexander Method - a technique for the processing of recursive axioms in deductive databases
Recommended article: Q3821632
Recommended article: Q3805964
Recommended article: Q4728290
Recommended article: Q3746931
Recommended article: A time bound on the materialization of some recursively defined views
Recommended article: Embedding deductive capabilities in relational database systems
Recommended article: Recursive query processing: The power of logic
description: scientific article; zbMATH DE number 3913730