Hostname: page-component-89b8bd64d-mmrw7 Total loading time: 0 Render date: 2026-05-06T13:18:22.075Z Has data issue: false hasContentIssue false
  • English
  • Français

Putting logic-based distributed systems on stable grounds

Published online by Cambridge University Press:  20 August 2015

TOM J. AMELOOT ,
JAN VAN DEN BUSSCHE ,
WILLIAM R. MARCZAK ,
PETER ALVARO  and
JOSEPH M. HELLERSTEIN
TOM J. AMELOOT
Affiliation:
Computer Science, Hasselt, Limburg, Belgium (e-mail: tom.ameloot@uhasselt.be, jan.vandenbussche@uhasselt.be)
JAN VAN DEN BUSSCHE
Affiliation:
Computer Science, Hasselt, Limburg, Belgium (e-mail: tom.ameloot@uhasselt.be, jan.vandenbussche@uhasselt.be)
WILLIAM R. MARCZAK
Affiliation:
Computer Science, Berkeley, California, USA (e-mail: wrm@cs.berkeley.edu, palvaro@cs.berkeley.edu, hellerstein@cs.berkeley.edu)
PETER ALVARO
Affiliation:
Computer Science, Berkeley, California, USA (e-mail: wrm@cs.berkeley.edu, palvaro@cs.berkeley.edu, hellerstein@cs.berkeley.edu)
JOSEPH M. HELLERSTEIN
Affiliation:
Computer Science, Berkeley, California, USA (e-mail: wrm@cs.berkeley.edu, palvaro@cs.berkeley.edu, hellerstein@cs.berkeley.edu)
Get access Rights & Permissions [Opens in a new window]

Abstract

In the Declarative Networking paradigm, Datalog-like languages are used to express distributed computations. Whereas recently formal operational semantics for these languages have been developed, a corresponding declarative semantics has been lacking so far. The challenge is to capture precisely the amount of nondeterminism that is inherent to distributed computations due to concurrency, networking delays, and asynchronous communication. This paper shows how a declarative, model-based semantics can be obtained by simply using the well-known stable model semantics for Datalog with negation. We show that the model-based semantics matches previously proposed formal operational semantics.

Keywords

DedalusDatalogstable model semanticsdistributed systemasynchronous communication

Information

Type
Regular Papers
Information
Theory and Practice of Logic Programming , Volume 16 , Issue 4 , July 2016 , pp. 378 - 417
Copyright
Copyright © Cambridge University Press 2015 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Article purchase

Temporarily unavailable

References

Abiteboul, S., Bienvenu, M., Galland, A., et al. 2011. A rule-based language for Web data management. In Proc. 30th ACM Symposium on Principles of Database Systems, ACM Press, New York, NY, USA, 293–304.CrossRefGoogle Scholar
Abiteboul, S., Hull, R. and Vianu, V. 1995. Foundations of Databases. Addison-Wesley.Google Scholar
Abrial, J. 2010. Modeling in Event-B – System and Software Engineering. Cambridge University Press.CrossRefGoogle Scholar
Alferes, J., Pereira, L., Przymusinska, H. and Przymusinski, T. 2002. LUPS–-a language for updating logic programs. Artificial Intelligence 138, 1–2, 87–116.CrossRefGoogle Scholar
Alvaro, P., Condie, T., Conway, N., Hellerstein, J. and Sears, R. 2009. I do declare: Consensus in a logic language. Operating Systems Review 43, 4, 25–30.CrossRefGoogle Scholar
Alvaro, P., Conway, N., Hellerstein, J. and Marczak, W. 2011. Consistency analysis in Bloom: A CALM and collected approach. In Proc. 5th Biennial Conference on Innovative Data Systems Research, 249–260. URL: www.cidrdb.org.Google Scholar
Alvaro, P., Marczak, W., et al. 2009. Dedalus: Datalog in Time and Space. Technical Report EECS-2009-173, University of California, Berkeley.CrossRefGoogle Scholar
Alvaro, P., Marczak, W. et al. 2011. Dedalus: Datalog in time and space. See de Moor et al. (2011), 262–281.Google Scholar
Ameloot, T. and Van den Bussche, J. 2014. Positive Dedalus programs tolerate non-causality. Journal of Computer and System Sciences 80, 7, 1191–1213.CrossRefGoogle Scholar
Ameloot, T., Neven, F. and Van den Bussche, J. 2011. Relational transducers for declarative networking. In Proc. 30th ACM Symposium on Principles of Database Systems, ACM Press, 283–292.CrossRefGoogle Scholar
Ameloot, T., Neven, F. and Van den Bussche, J. 2013. Relational transducers for declarative networking. Journal of the ACM 60, 2, 15:1–15:38.CrossRefGoogle Scholar
Ameloot, T. and Van den Bussche, J. 2012. Deciding eventual consistency for a simple class of relational transducer networks. In Proc. of the 15th International Conference on Database Theory, ACM Press, 86–98.CrossRefGoogle Scholar
Apt, K. and Bol, R. 1994. Logic programming and negation: A survey. The Journal of Logic Programming 19–20, Supplement 1, 0, 9–71.CrossRefGoogle Scholar
Apt, K., Francez, N. and Katz, S. 1988. Appraising fairness in languages for distributed programming. Distributed Computing 2, 226–241.CrossRefGoogle Scholar
Attiya, H. and Welch, J. 2004. Distributed Computing: Fundamentals, Simulations, and Advanced Topics. Wiley.CrossRefGoogle Scholar
Cavage, M. 2013. There's just no getting around it: You're building a distributed system. ACM Queue 11, 4.CrossRefGoogle Scholar
de Moor, O., Gottlob, G., Furche, T. and Sellers, A. (Eds.) 2011. Datalog Reloaded: First International Workshop, Datalog 2010, Lecture Notes in Computer Science, Springer-Verlag, Berlin/Heidelberg, Germany, vol. 6702.CrossRefGoogle Scholar
Deutsch, A., Sui, L., Vianu, V. and Zhou, D. 2006. Verification of communicating data-driven Web services. In Proc. 25th ACM Symposium on Principles of Database Systems, ACM Press, 90–99.Google Scholar
Francez, N. 1986. Fairness. Springer-Verlag New York, Inc., New York, NY, USA.CrossRefGoogle Scholar
Gelfond, M. and Lifschitz, V. 1988. The stable model semantics for logic programming. In Proc. of the 5th International Conference on Logic Programming, MIT Press, 1070–1080.Google Scholar
Grumbach, S. and Wang, F. 2010. Netlog, a rule-based language for distributed programming. In Proc. 12th International Symposium on Practical Aspects of Declarative Languages, Carro, M. and Peña, R., Eds. Lecture Notes in Computer Science, vol. 5937, 88–103.Google Scholar
Hellerstein, J. 2010a. Datalog redux: Experience and conjecture. Video available (under the title “The Declarative Imperative”) from URL: http://db.cs.berkeley.edu/jmh/. PODS 2010 keynote.CrossRefGoogle Scholar
Hellerstein, J. 2010b. The declarative imperative: Experiences and conjectures in distributed logic. SIGMOD Record 39, 1, 5–19.CrossRefGoogle Scholar
Huang, S., Green, T. and Loo, B. 2011. Datalog and emerging applications: An interactive tutorial. In Proc. of the 2011 ACM SIGMOD International Conference on the Management of Data, SIGMOD ’11, ACM, 1213–1216.CrossRefGoogle Scholar
Interlandi, M., Tanca, L. and Bergamaschi, S. 2013. Datalog in time and space, synchronously. In Proc. 7th Alberto Mendelzon International Workshop on Foundations of Data Management.Google Scholar
Jim, T. 2001. SD3: A trust management system with certified evaluation. In Proc. of the 2001 IEEE Symposium on Security and Privacy, SP, IEEE Computer Society, 106–115.CrossRefGoogle Scholar
Krishnamurthy, R. and Naqvi, S. 1988. Non-deterministic choice in Datalog. In Proc. of the 3rd International Conference on Data and Knowledge Bases, Morgan Kaufmann, Burlington, MA, USA, 416–424.CrossRefGoogle Scholar
Lamport, L. 2000a. Distributed algorithms in TLA (abstract). In Proc. of the 19th ACM Symposium on Principles of Distributed Computing, ACM Press, 3.Google Scholar
Lamport, L. 2000b. Fairness and hyperfairness. Distributed Computing 13, 4, 239–245.CrossRefGoogle Scholar
Leite, J., Alferes, J. and Pereira, L. 2002. Minerva – a dynamic logic programming agent architecture. In Revised Papers from the 8th International Workshop on Intelligent Agents VIII, ATAL, Springer-Verlag, 141–157.Google Scholar
Leite, J. and Soares, L. 2007. Adding evolving abilities to a multi-agent system. In Proc. of the 7th International Conference on Computational Logic in Multi-agent Systems, CLIMA VII’06, Springer-Verlag, 246–265.Google Scholar
Lobo, J., Ma, J., Russo, A. and Le, F. 2012. Declarative distributed computing. In Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz, Erdem, E., Lee, J., Lierler, Y. and Pearce, D., Eds., Lecture Notes in Computer Science, vol. 7265. Springer, 454–470.CrossRefGoogle Scholar
Loo, B. et al. 2009. Declarative networking. Communications of the ACM 52, 11, 87–95.CrossRefGoogle Scholar
Lynch, N. 1996. Distributed Algorithms. Morgan Kaufmann.Google Scholar
Ma, J., Le, F., Wood, D., Russo, A. and Lobo, J. 2013. A declarative approach to distributed computing: Specification, execution and analysis. Theory and Practice of Logic Programming 13, Special Issue 4–5, 815–830.CrossRefGoogle Scholar
Marczak, W., Alvaro, P., Conway, N., Hellerstein, J. and Maier, D. 2011. Confluence analysis for distributed programs: A model-theoretic approach. Technical Report UCB/EECS-2011-154 (Dec), EECS Department, University of California, Berkeley.CrossRefGoogle Scholar
Marek, V. and Truszczynski, M. 1999. Stable models and an alternative logic programming paradigm. In The Logic Programming Paradigm, Apt, K., Marek, V., Truszczynski, M. and Warren, D., Eds., Artificial Intelligence, Springer, Berlin Heidelberg, 375–398.CrossRefGoogle Scholar
Navarro, J. and Rybalchenko, A. 2009. Operational semantics for declarative networking. In Proceedings 11th International Symposium on Practical Aspects of Declarative Languages, Gill, A. and Swift, T., Eds. Lecture Notes in Computer Science, 76–90.Google Scholar
Nigam, V. and Leite, J. 2006. A dynamic logic programming based system for agents with declarative goals. In Proc. of the 4th International Conference on Declarative Agent Languages and Technologies, DALT, Springer-Verlag, 174–190.CrossRefGoogle Scholar
Saccà, D. and Zaniolo, C. 1990. Stable models and non-determinism in logic programs with negation. In Proc. of the 9th ACM Symposium on Principles of Database Systems, ACM Press, 205–217.Google Scholar
Vardi, M. 1982. The complexity of relational query languages. In Proc. 14th ACM Symposium on the Theory of Computing, ACM Press, New York, NY, USA, 137–146.Google Scholar
Woodcock, J. and Davies, J. 1996. Using Z: Specification, Refinement, and Proof. Prentice Hall.Google Scholar
Zhang, Q., Cheng, L. and Boutaba, R. 2010. Cloud computing: State-of-the-art and research challenges. Journal of Internet Services and Applications 1, 1, 7–18.CrossRefGoogle Scholar
Zinn, D., Green, T. and Ludaescher, B. 2012. Win-move is coordination-free (sometimes). In Proc. of the 15th International Conference on Database Theory, ACM Press, 99–113.CrossRefGoogle Scholar
Supplementary material: PDF

Ameloot supplementary material

Online Appendix

Download Ameloot supplementary material(PDF)
PDF 591.9 KB