Most deductive databases impose restrictions on the terms that can be used in them: they require that generated tuples be fully ground, i.e. contain no variables. Without this restriction, query evaluation of general programs needs subsumption tests in order to terminate correctly, and subsumption tests are expensive. We study a class of programs that can handle terms with both variables and function symbols but for which subsumption tests are not necessary. This class is based on the notion of modes, which generalise adornments by not requiring that "bound" be synonymous with %round'. We show how programs in this class may be recognized and how they should be transformed into an executable form, and then prove that bottom-up evaluation of the resulting programs does not require subsumption tests.
CITATION STYLE
Somogyi, Z., Kemp, D., Harland, J., & Lumamohanarao, K. (1994). Subsumption-free bottom-up evaluation of logic programs with partially instantiated data structures. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 779 LNCS, pp. 59–72). Springer Verlag. https://doi.org/10.1007/3-540-57818-8_41
Mendeley helps you to discover research relevant for your work.