Diagnosis of Asynchronous Discrete Event Systems: Datalog to the Rescue!
Summary: Adapts Query-Sub-Query (QSQ) from deductive databases to optimize Datalog-modeled diagnosis queries over data-intensive, autonomous P2P asynchronous telecom systems. Demonstrates this generic QSQ extension matches dedicated diagnosis algorithms' performance and scales to a much larger class of distributed system analysis problems. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
- 1. Serge Abiteboul (INRIA; University of Paris)
- 2. Zoë Abrams (Stanford University)
- 3. Stefan Haar (INRIA)
- 4. Tova Milo (Tel Aviv University)
BibTeX Citation
@inproceedings{abiteboul_pods05,
address = {New York, NY, USA},
series = {{PODS} '05},
title = {{Diagnosis of Asynchronous Discrete Event Systems: Datalog to the Rescue!}},
url = {https://dl.acm.org/doi/10.1145/1065167.1065214},
doi = {10.1145/1065167.1065214},
booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
publisher = {Association for Computing Machinery},
author = {Abiteboul, Serge and Abrams, Zoë and Haar, Stefan and Milo, Tova},
year = {2005}
}
Incoming Citations (Sorted by Pagerank)
Showing 11 of 11 citing papers.
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 7 of 7 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 16 | MAGIC SETS AND OTHER STRANGE WAYS TO IMPLEMENT LOGIC PROGRAMS (Extended Abstract) | 1986 | PODS | 0.00060089598 |
| 343 | A Message Passing Framework for Logical Query Evaluation | 1986 | SIGMOD | 0.00020669253 |
| 616 | Parallel Evaluation of Recursive Rule Queries | 1986 | PODS | 0.00015712636 |
| 3,667 | Dynamic XML Documents with Distribution and Replication | 2003 | SIGMOD | 7.2133927e-05 |
| 3,689 | Dynamically Distributed Query Evaluation | 2001 | PODS | 7.2010583e-05 |
| 4,773 | Parallel Processing of Recursive Queries in Distributed Architectures | 1989 | VLDB | 6.5149869e-05 |
| 5,341 | Distributed Transitive Closure Computations: The Disconnection Set Approach | 1990 | VLDB | 6.2602701e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 8,858 | Optimizing Parallel Recursive Datalog Evaluation on Multicore Machines | 2022 | SIGMOD |
| 2 | 386 | Distributed Query Processing In A Relational Data Base System | 1978 | SIGMOD |
| 3 | 4,594 | Distributed Query Processing and Catalogs for Peer-to-Peer Systems | 2003 | CIDR |
| 4 | 2,268 | Efficient Query Reformulation in Peer Data Management Systems | 2004 | SIGMOD |
| 5 | 972 | Declarative Networking: Language, Execution and Optimization | 2006 | SIGMOD |
| 6 | 2,247 | A Framework for the Parallel Processing of Datalog Queries | 1990 | SIGMOD |
| 7 | 3,689 | Dynamically Distributed Query Evaluation | 2001 | PODS |
| 8 | 4,343 | On Distributed Processibility of Datalog Queries by Decomposing Databases | 1989 | SIGMOD |
| 9 | 12,032 | Logical Aspects of Massively Parallel and Distributed Systems | 2016 | PODS |
| 10 | 8,314 | Optimization of Systems of Algebraic Equations for Evaluating Datalog Queries | 1987 | VLDB |