Creator of Knowledge
Information Resources Management Association
Advancing the Concepts & Practices of Information Resources Management in Modern Organizations

Not is Not "Not" Comparisons of Negation in SQL and Negation in Logic Programming

Not is Not "Not" Comparisons of Negation in SQL and Negation in Logic Programming
View Free PDF
Author(s): James D. Jones (University of Arkansas at Little Rock, USA)
Copyright: 2001
Pages: 5
Source title: Managing Information Technology in a Global Economy
Source Editor(s): Mehdi Khosrow-Pour (Information Resources Management Association, USA)
DOI: 10.4018/978-1-930708-07-5.ch045


Logic programming presents an excellent paradigm within which to develop intelligent systems. In addition to the routine sorts of reasoning we would expect such a system to perform, the state of the art in logic programming allows one to reason explicitly about false information, to reason explicitly about unknown or uncertain information (the subject of this paper), and to reason introspectively in spite of holding multiple competing ways of viewing the world. Each of these abilities are necessary forms of reasoning, and each are lacking from current technology. Needless to say, each of these abilities are also lacking from relational databases. In this paper, the focus is upon the expressive power of weak negation in logic programming. Weak negation is not well understood, and can be easily confused with negation in SQL. In particular, some may falsely equate weak negation with the "not exists" clause of SQL. It is true that both forms of negation do have some similarity. However, the expressive power of weak negation far exceeds that of "not exists" in SQL. To a much lesser extent, we shall also consider strong negation in logic programming.

Body Bottom