Diagnosis of asynchronous discrete event systems: datalog to the rescue!

Serge Abiteboul 1 Zoe Abrams 2 Stefan Haar 3 Tova Milo 4
1 DAHU - Verification in databases
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
3 DISTRIBCOM - Distributed and Iterative Algorithms for the Management of Telecommunications Systems
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : We consider query optimization techniques for data intensive P2P applications. We show how to adapt an old technique from deductive databases, namely Query-Sub-Query (QSQ), to a setting where autonomous and distributed peers share large volumes of interelated data.We illustrate the technique with an important telecommunication problem, the diagnosis of distributed telecom systems. We show that (i) the problem can be modeled using Datalog programs, and (ii) it can benefit from the large battery of optimization techniques developed for Datalog. In particular, we show that a simple generic use of the extension of QSQ achieves an optimization as good as that previously provided by dedicated diagnosis algorithms. Furthermore, we show that it allows solving efficiently a much larger class of system analysis problems.
Type de document :
Communication dans un congrès
Li, Chen. Proceedings of the 24th Annual ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS'05), 2005, Baltimore, Maryland, USA, United States. ACM Press, pp.358-367, 2005, 〈10.1145/1065167.1065214〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00638322
Contributeur : Stefan Haar <>
Soumis le : vendredi 4 novembre 2011 - 15:23:36
Dernière modification le : mercredi 16 mai 2018 - 11:23:02

Identifiants

Citation

Serge Abiteboul, Zoe Abrams, Stefan Haar, Tova Milo. Diagnosis of asynchronous discrete event systems: datalog to the rescue!. Li, Chen. Proceedings of the 24th Annual ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS'05), 2005, Baltimore, Maryland, USA, United States. ACM Press, pp.358-367, 2005, 〈10.1145/1065167.1065214〉. 〈inria-00638322〉

Partager

Métriques

Consultations de la notice

214