Ir al contenido (pulsa Retorno)

Universitat Politècnica de Catalunya

    • Català
    • Castellano
    • English
    • LoginRegisterLog in (no UPC users)
  • mailContact Us
  • world English 
    • Català
    • Castellano
    • English
  • userLogin   
      LoginRegisterLog in (no UPC users)

UPCommons. Global access to UPC knowledge

Banner header
69.147 UPC E-Prints
You are here:
View Item 
  •   DSpace Home
  • E-prints
  • Departaments
  • Departament de Ciències de la Computació
  • Reports de recerca
  • View Item
  •   DSpace Home
  • E-prints
  • Departaments
  • Departament de Ciències de la Computació
  • Reports de recerca
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Formalization and correctness of the CQC method

Thumbnail
View/Open
R02-68.ps (1,859Mb)
  View UPCommons Usage Statistics
  LA Referencia / Recolecta stats
Includes usage data since 2022
Cita com:
hdl:2117/97404

Show full item record
Farré Tost, CarlesMés informacióMés informacióMés informació
Teniente López, ErnestMés informacióMés informacióMés informació
Urpí Tubella, AntoniMés informacióMés informacióMés informació
Document typeResearch report
Defense date2002-11
Rights accessOpen Access
All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder
Abstract
In this report we formalize a new method that checks Query Containment for queries with negated IDB and EDB predicates as well as equality, inequality and order comparisons. The generality of our approach allows also our method to deal straightforwardly with query containment under constraints. We prove soundness and completeness of success and of failure of our method and we characterize the databases where these properties hold.
CitationFarre, C., Teniente, E., Urpi, T. "Formalization and correctness of the CQC method". 2002. 
Is part ofLSI-02-68-R
URIhttp://hdl.handle.net/2117/97404
Collections
  • Departament d'Enginyeria de Serveis i Sistemes d'Informació - Reports de recerca [154]
  • Departament de Ciències de la Computació - Reports de recerca [1.109]
  View UPCommons Usage Statistics

Show full item record

FilesDescriptionSizeFormatView
R02-68.ps1,859MbPostscriptView/Open

Browse

This CollectionBy Issue DateAuthorsOther contributionsTitlesSubjectsThis repositoryCommunities & CollectionsBy Issue DateAuthorsOther contributionsTitlesSubjects

© UPC Obrir en finestra nova . Servei de Biblioteques, Publicacions i Arxius

info.biblioteques@upc.edu

  • About This Repository
  • Metadata under:Metadata under CC0
  • Contact Us
  • Send Feedback
  • Privacy Settings
  • Inici de la pàgina