We study here automated deduction in database in the presence of various types of inference rules of the form of horn clauses with SKOLEM functions. these inference rules are typical for databases with incomplete information we demonstrate a number of results related to processing of conjunctive queries for different types of database intension is built from possibly cyclic inclusion dependencies and view definitions any conjunctive query can be translated to the an equivalent form which can be evaluated directly over the database extension (disregarding inference rules) we also demonstrate that the complexity of query processing significantly grows when we mix incomplete information with recursive rules in particular we demonstrate here that even the power of least fixpoint extension of first order logic may be not sufficient to process queries in the presence of incomplete data and recursive rules the same is demonstrated in case disjunctive information is allowed in the database.