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 consider a more relaxed version of conventional deductive databases called an acceptable database which generalizes 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. We propose a system capable of handling such extended databases in a deductive paradigm. We pay our special attention to negative rules and queries to develop a special technique in which the relevant attribute domain set from which to remove the negated set is automatically deduced.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Apt, K., Blair, H. and Walker, A., “Towards a Theory of Declarative Knowledge,” Foundations of Deductive Databases and Logic Programming, (Minker, Ed.), Morgan Kaufmann, 1988.
Chun, J. and Henschen, L. J., “On Negative Rules and Queries in Expert Database Systems,” Proc. 4th Int’l Symp. on AI, Cancun, Mexico, 1991.
Chun, J. and Henschen, L. J., “Compiling Rules and Queries in Knowledge Base Systems: A Substitution-based Approach,” to be appeared in Proc. 4th Int’l Conf. on SEKE.
Decker, H., “Integrity Enforcement in Deductive Databases,” Proc. 1st Conf. on Expert Database Systems, Charleston, SC, 1986.
Foo, N., Rao, A., Taylor, A. and Walker, A., “Deduced Relevant Types and Constructive Negation,” Proc. 5th Conf. and Symp. on Logic Programming, (Kowalski and Bowen Eds.), MIT Press, 1988.
Gallaire, H., Minker, J., and Nicolas, J., “Logic and Databases: A Deductive Approach,” ACM Computing Surveys Vol. 16, No. 2, 1984.
Lee, S. H., “Extending the Expressive Power of Deductive Databases,” Ph. D. thesis, Northwestern University, Evanston, IL, 1989.
Reiter, R., “Deductive Question Answering on Relational Data Bases,” Logic and Data Bases (Gallaire and Minker, Eds.), Plenum Press, 1978.
Reiter, R., “On Closed World Databases,” Logic and Databases (Gallaire and Minker, Eds.), Plenum Press, 1978.
Seki, H. and Itoh, H., “A Query Evaluation Method for Stratified Programs under the Extended CWA,” Proc. 5th Conf. and Symp. on Logic Programming, (Kowalski and Bowen, Eds.), MIT Press, 1988.
Topor, R. W. and Sonenberg, E. A., “On Domain Independent Databases,” Foundations of Deductive Databases and Logic Programming, (Minker, Ed.), Morgan Kaufmann, 1988.
Van Gelder, A., “Negation as Failure Using Tight Derivations for General Logic Programming,” Foundations of Deductive Databases and Logic Programming, (Minker, Ed.), Morgan Kaufmann, 1988.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1992 Springer-Verlag/Wien
About this paper
Cite this paper
Chun, J., Henschen, L.J. (1992). Processing Knowledge Base Systems Containing Rules with Complex Bodies. In: Tjoa, A., Ramos, I. (eds) Database and Expert Systems Applications. Springer, Vienna. https://doi.org/10.1007/978-3-7091-7557-6_7
Download citation
DOI: https://doi.org/10.1007/978-3-7091-7557-6_7
Publisher Name: Springer, Vienna
Print ISBN: 978-3-211-82400-9
Online ISBN: 978-3-7091-7557-6
eBook Packages: Springer Book Archive