DI-UMONS : Dépôt institutionnel de l’université de Mons

Recherche transversale
Rechercher
(titres de publication, de périodique et noms de colloque inclus)
2009-07-25 - Colloque/Article dans les actes avec comité de lecture - Anglais - 7 page(s)

Bruyère Véronique , Decan Alexandre , Wijsen Jef , "On first-order query rewriting for incomplete database histories" in International Symposium/Workshop on Temporal Representation and Reasoning, 54-61, Bressanone-Brixen, Italie, 2009

  • Codes CREF : Informatique mathématique (DI1160)
  • Unités de recherche UMONS : Informatique théorique (S829), Systèmes d'information (S832)
  • Instituts UMONS : Institut de Recherche en Technologies de l’Information et Sciences de l’Informatique (InforTech), Institut de Recherche sur les Systèmes Complexes (Complexys)
  • Centres UMONS : Modélisation mathématique et informatique (CREMMI)
Texte intégral :

Abstract(s) :

(Anglais) Multiwords are defined as words in which single symbols can be replaced by nonempty sets of symbols. Such a set of symbols captures uncertainty about the exact symbol. Words are obtained from multiwords by selecting a single symbol from every set. A pattern is certain in a multiword W if it occurs in every word that can be obtained from W. For a given pattern, we are interested in finding a logic formula that recognizes the multiwords in which that pattern is certain. This problem can be seen as a special case of consistent query answering (CQA).We show how our results can be applied in CQA on database histories under primary key constraints.

Notes :
  • (Anglais) Début 23 juillet -Fin 25 juillet
  • (Anglais) IEEE Computer Society Press