EXPANDING QUERIES TO INCOMPLETE DATABASES BY INTERPOLATING GENERAL LOGIC PROGRAMS

In databases, queries are usually defined on complete databases. In th is paper we introduce and motivate the notion of extended queries that are defined on incomplete databases. We argue that the language of ex tended logic program is appropriate for representing extended queries. We show through examples that given a query, a particular extension o f it has important characteristics which corresponds to removal of the CWA from the original specification of the query. We refer to this pa rticular extension as the expansion of the original query. Normally qu eries are expressed as general logic programs. We develop an algorithm that given a general logic program (satisfying certain syntactic prop erties) expressing a query constructs an extended logic program that e xpresses the expanded query. The extended logic program is referred to as the interpolation of the given general logic program. (C) 1998 Els evier Science Inc, All rights reserved.