Expansions and Equivalence of Queries Using Views with Parameters and Negation

In this paper we represent a class of queries that contain sub-formulas with universally quantified variables using views. The queries and views considered can contain input parameters. Both views and queries are expressed as unions of conjunctive formulas, where the predicates of literals are views or database relations. The negation is allowed in body views or body queries. We study the equivalence of a query and one of its expansions.