Enumeration of MSO Queries on Strings with Constant Delay and Logarithmic Updates - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2018

Enumeration of MSO Queries on Strings with Constant Delay and Logarithmic Updates

Résumé

We consider the enumeration of MSO queries over strings under updates. For each MSO query we build an index structure enjoying the following properties: The index structure can be constructed in linear time, it can be updated in logarithmic time and it allows for constant delay time enumeration. This improves from the previous known index structures allowing for constant delay enumeration that would need to be reconstructed from scratch, hence in linear time, in the presence of updates. We allow relabeling updates, insertion of individual labels and removal of individual labels.
Fichier principal
Vignette du fichier
enum-update-words.pdf (719.55 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01895796 , version 1 (16-10-2018)

Identifiants

Citer

Matthias Niewerth, Luc Segoufin. Enumeration of MSO Queries on Strings with Constant Delay and Logarithmic Updates. Principles of Databse Systems, PODS'18, Jun 2018, Houston, United States. ⟨10.1145/3196959.3196961⟩. ⟨hal-01895796⟩
99 Consultations
168 Téléchargements

Altmetric

Partager

More