Complexity of Certain Query Answering on Hyperstreams
Résumé
A hyperstream is a sequence of streams with references to others. We study the complexity of computing certain answers for queries evaluated on hyperstreams of words. We show that the problem is PSpace-complete for deterministic query automata, but that it can be solved in PTime for linear hyperstreams even with factorization.
Un hyperflux est une séquence de flux ayant des références vers d'autres flux. Nous nous intéressons à la complexité du problème du calcul des réponses certaines pour les requêtes évaluées sur des hyperflux de mots. Nous montrons que ledit problème est PSpace-complet pour les automates déterministes représentant des requêtes, mais qu'il peut être résolu dans PTime pour les hyperflux linéaires, même avec une factorisation de ces derniers.
Domaines
Base de données [cs.DB]
Origine : Fichiers produits par l'(les) auteur(s)
Loading...