skip to main content
10.1145/1065167.1065214acmconferencesArticle/Chapter ViewAbstractPublication PagespodsConference Proceedingsconference-collections
Article

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

Published: 13 June 2005 Publication History

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.

References

[1]
S. Abiteboul. Managing an XML Warehouse in a P2P Context, 15th International Conference on Advanced Information Systems Engineering, 2003.
[2]
S. Abiteboul, A. Bonifati, G. Cobena, I. Manolescu, T. Milo. Dynamic XML Documents with Distribution and Replication. SIGMOD 2003.
[3]
S. Abiteboul, R. Hull, V. Vianu. Foundations of Databases. Addison Wesley, 1995.
[4]
R. Agrawal, H. V. Jagadish. Multiprocessor Transitive Closure Algorithms. Procs. Intl. Symp. on Database in Parallel and Distributed Systems, 1988
[5]
Active XML Web site, http://activexml.net
[6]
H. Balakrishnan, M. F. Kaashoek, D. Karger, R. Morris, I. Stoica. Looking up data in P2P systems. CACM 46(2): 43--48, 2003.
[7]
F. Bancilhon, D. Maier, Y. Sagiv, J. D. Ullman. Magic sets and other strange ways to execute logic programs. PODS, 1986.
[8]
A. Benveniste, E. Fabre, S. Haar, C. Jard. Diagnosis of asynchronous discrete event systems, a net unfolding approach. IEEE Transactions on Automatic Control 48(5):714--727, May 2003.
[9]
A. Benveniste, E. Fabre, S. Haar, C. Jard. Distributed Monitoring of Concurrent and asynchronous Systems. Proc. CONCUR '03, LNCS 2761, pp. 1--26.
[10]
R. Braumandl, M. Keidl, A. Kemper, D. Kossmann, A. Kreutz, S. Seltzsam, K. Stocker. ObjectGlobe: Ubiquitous query processing on the Internet. VLDB Jour., 10:48, 2001.
[11]
E. M. Clarke, E. A. Emerson, A. P. Sistla. Automatic verification of finite--state concurrent systems using temporal logic. ACM Transactions on Programming Languages and Systems, 8(2):244--263, 1986.
[12]
S. S. Cosmadakis, P. C. Kanellakis. Parallel Evaluation of Recursive Rule Queries. PODS, 1986.
[13]
J. Engelfriet. Branching Processes of Petri Nets. Acto In formatica 28, 1991, pp. 575--591.
[14]
J. Esparza. Model Checking Using Net Unfoldings. Science of Computer Programming vol 23, pp. 151--195, 1994.
[15]
W. Faber, G. Greco, N. Leone. Magic Sets and their Application to Data Integration. To appear in ICDT'05.
[16]
J. Hellerstein, B. T. Loo and I. Stoica. Customizable Routing with Declarative Queries, HotNets-III, 2004.
[17]
M. A. W. Houtsma, P. M. G. Apers, S. Ceri. Distributed Transitive Closure Computations: The Disconnection Set Approach. VLDB, 1990.
[18]
M. Harren, J. Hellerstein, R. Huebsch, B. Thau Loo, S. Shenker, I. Stoica. Complex Queries in DHT-based Peer-to-Peer Networks, Peer-to-Peer Systems Int. Workshop, 2002.
[19]
G. Hulin. Parallel Processing of Recursive Queries in Distributed Architectures. VLDB, 1989.
[20]
Kazaa, www.kazaa.com/
[21]
R. Debouk, S. Lafortune, D. Teneketzis. Coordinated decentralized protocols for failure diagnosis of discrete event systems. Disc. Event Dyn. Systems: theory and application vol. 10 no. 1/2, pp 33--86, 2000.
[22]
R. Debouk, S. Lafortune, D. Teneketzis. On the effect of communication delays in failure diagnosis of decentralized discrete event systems. Control group rep. CGR00-04, Univ. Mich. Ann Arbor, subm. for publication, 2001.
[23]
S. Genc, S. Lafortune. Distributed diagnosis of discrete-event systems using Petri nets. Proc. ICATPN 2003, LNCS 2679, pp 316--336, 2003.
[24]
K. McMillan. Using Unfoldings to avoid the state explosion problem in the verification of asynchronous circuits. 4th CAV Workshop, pp. 164--174, 1992.
[25]
W. Nejdl, S. Ceri, G. Wiederhold. Evaluating Recursive Queries in Distributed Databases. TKDE 5(1):104--121, 1993.
[26]
M. T. Ozsu, P. Valduriez. Principles of Distributed Database Systems. Prentice Hall, 1991.
[27]
Parallelism in Logic Programs, Raghu Ramakrishnan, Proceedings of Symposium on Principles of Programming Languages, 1990
[28]
J. Rohmer, R. Lescoeur. La Methode Alexandre une solution pour traiter les axiomes recursifs dons les bases de donnees deductives. Colloque Reconnaissances de Forme et Intelligence Artificielle, Grenoble, 1985
[29]
K. Ross. Modular Stratification and Madic Set for DATALOG Programs with Negation.
[30]
R. Sengupta. Diagnosis and communications in distributed systems. Proc. WODES 1998 pp. 144--151, IEE, London.
[31]
The SWAN project. http://swan.elibel.tm.fr
[32]
J. Trevor, D. Suciu. Dynamically Distributed Query Evaluation. PODS, 2001.
[33]
A. van Gelder. A Message Passing Framework for Logical Query Evaluation. SIGMOD, 1986.
[34]
L. Vieille, "Recursive axioms in deductive databases: The Query-Subquery approach," in Proc. Int. Conf. Expert Database Syst., L. Kerschberg, Ed., Charleston, 1986.
[35]
O. Wolfson. Sharing the Load of Logic-Programming Evaluation. Proceedings of the International Symposium on Databases in Parallel and Distributed Systems, 1988.

Cited By

View all
  • (2024)Object-Oriented Fixpoint Programming with DatalogProceedings of the ACM on Programming Languages10.1145/36897138:OOPSLA2(60-86)Online publication date: 8-Oct-2024
  • (2024)Separate Compilation and Partial Linking: Modules for Datalog IRProceedings of the 23rd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences10.1145/3689484.3690737(94-106)Online publication date: 21-Oct-2024
  • (2023)Interactive Debugging of Datalog ProgramsProceedings of the ACM on Programming Languages10.1145/36228247:OOPSLA2(745-772)Online publication date: 16-Oct-2023
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
PODS '05: Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
June 2005
388 pages
ISBN:1595930620
DOI:10.1145/1065167
  • General Chair:
  • Georg Gottlob,
  • Program Chair:
  • Foto Afrati
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 13 June 2005

Permissions

Request permissions for this article.

Check for updates

Qualifiers

  • Article

Conference

SIGMOD/PODS05

Acceptance Rates

Overall Acceptance Rate 642 of 2,707 submissions, 24%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)7
  • Downloads (Last 6 weeks)1
Reflects downloads up to 17 Jan 2025

Other Metrics

Citations

Cited By

View all
  • (2024)Object-Oriented Fixpoint Programming with DatalogProceedings of the ACM on Programming Languages10.1145/36897138:OOPSLA2(60-86)Online publication date: 8-Oct-2024
  • (2024)Separate Compilation and Partial Linking: Modules for Datalog IRProceedings of the 23rd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences10.1145/3689484.3690737(94-106)Online publication date: 21-Oct-2024
  • (2023)Interactive Debugging of Datalog ProgramsProceedings of the ACM on Programming Languages10.1145/36228247:OOPSLA2(745-772)Online publication date: 16-Oct-2023
  • (2023)The Impact of Propositional Messages on Termination of Declarative Distributed SystemsSelected Reflections in Language, Logic, and Information10.1007/978-3-031-50628-4_4(44-79)Online publication date: 28-Dec-2023
  • (2022)Datalog and Logic DatabasesundefinedOnline publication date: 25-Feb-2022
  • (2021)Datalog UnchainedProceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems10.1145/3452021.3458815(57-69)Online publication date: 20-Jun-2021
  • (2018)DatalogDeclarative Logic Programming10.1145/3191315.3191317(3-100)Online publication date: 1-Sep-2018
  • (2018)Active XMLEncyclopedia of Database Systems10.1007/978-1-4614-8265-9_782(38-41)Online publication date: 7-Dec-2018
  • (2018)Declarative Logic ProgrammingundefinedOnline publication date: 1-Sep-2018
  • (2017)Datalog Queries Distributing over ComponentsACM Transactions on Computational Logic10.1145/302274318:1(1-35)Online publication date: 22-Feb-2017
  • Show More Cited By

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media