Title :
Expansions and Equivalence of Queries Using Views with Parameters and Negation
Author :
Felea, Victor ; Balta, Marian
Author_Institution :
Comput. Sci. Dept., A.I. Cuza Univ. of Iasi, Iasi, Romania
Abstract :
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.
Keywords :
query processing; relational databases; conjunctive formulas; database relations; query classes; universally quantified variables; views; Computer science; Database systems; Query processing; Scientific computing; Keywords: negation; expansion.; query equivalence; safeness;
Conference_Titel :
Symbolic and Numeric Algorithms for Scientific Computing, 2008. SYNASC '08. 10th International Symposium on
Conference_Location :
Timisoara
Print_ISBN :
978-0-7695-3523-4
DOI :
10.1109/SYNASC.2008.32
