Evaluating Queries in Deductive Databases by Generating
Proceedings of the Ninth International Joint Conference on Artificial Intelligence. Automated Reasoning. Pages 173-176.
Abstract
A strong advantage of bottom up generating techniques is their ability to guarantee finiteness of all inferences in a deductive database system involving recursive axioms. But a "brute force" generating answers to a query would be very inefficient producing many facts useless for the query evaluation. An economy generating method is presented based on discovering explicit facts relevant to the query, and applying preselected axioms as generating rules. The method is proved to be complete in the sense that it generates all the existing answers to the query in a finite time.
@inproceedings{ijcai1985p31,
title = {Evaluating Queries in Deductive Databases by Generating},
author = {Lozinskii, Eliezer L.},
booktitle = {Proceedings of the Ninth International Joint Conference on
Artificial Intelligence, {IJCAI-85}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Aravind Joshi},
pages = {173--176},
year = {1985},
note = {Automated Reasoning},
url = {https://ijcai.org/proceedings/1985/31},
}
TY - CPAPER TI - Evaluating Queries in Deductive Databases by Generating AU - Lozinskii, Eliezer L. T2 - Proceedings of the Ninth International Joint Conference on Artificial Intelligence, IJCAI-85 PB - International Joint Conferences on Artificial Intelligence PY - 1985 SP - 173 EP - 176 UR - https://ijcai.org/proceedings/1985/31 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
