@inproceedings{f46e44daa11e44d0b45bbf336ce66f57,
title = "Compiling rules and queries in knowledge base systems: A substitution-based approach",
abstract = "The use of negative information and the unrestricted use of quantifiers in the body of a rule enhances the expressive power of deductive database systems. We introduce a more relaxed version of conventional (Skolem) function-free databases, called acceptable databases which generalize the class of allowed databases by accepting occurrences of universal quantifiers for variables occurring in positive literals and existential quantifiers for variables occurring in negative literals in the body of an IDB rule. The compilation technique suitable for compiling acceptable IDB rules based on the substitution rule is addressed. We show the correctness of the substitution-based compilation by proving completeness and soundness of the substitution rule.",
author = "Jonghoon Chun and Henschen, {Lawrence Joseph}",
year = "1992",
language = "English (US)",
isbn = "0818628308",
series = "Proceedings of the 4th International Conference on Software Engineering and Knowledge Engineering",
publisher = "Publ by IEEE",
pages = "109--115",
booktitle = "Proceedings of the 4th International Conference on Software Engineering and Knowledge Engineering",
note = "Proceedings of the 4th International Conference on Software Engineering and Knowledge Engineering ; Conference date: 15-06-1992 Through 20-06-1992",
}