Complexity of Certain Query Answering on Hyperstreams

Momar Sakho (1) , Iovka Boneva (2) , Joachim Niehren (1)

1 LINKS - Linking Dynamic Data
2 CRIStAL - Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189

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]

Momar Sakho, Iovka Boneva, Joachim Niehren. Complexity of Certain Query Answering on Hyperstreams. BDA 2017 - 33ème conférence sur la « Gestion de Données — Principes, Technologies et Applications », Nov 2017, Nancy, France. ⟨hal-01609498v1⟩