• DocumentCode
    2966472
  • 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
  • fYear
    2008
  • fDate
    26-29 Sept. 2008
  • Firstpage
    31
  • Lastpage
    38
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • 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
  • Type

    conf

  • DOI
    10.1109/SYNASC.2008.32
  • Filename
    5204786
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2966472