ABSTRACT

Deductive database technology is a name for a technology which lies between database and logic programming. It has a close relationship with the production rule formalism used in expert systems. This chapter is an introduction to the field, with some motivating examples sketched. Key terms are emphasized in bold; many are discussed in detail in the remainder of the book, as outlined in the plan of the book in section 1.5.