Maintaining distributed logic programs incrementally

Computer Languages, Systems and Structures

Volumn 38, Issue 2, 2012, Pages 158-180

  Nigam, Vivek ^a   Jia, Limin ^b   Thau Loo, Boon ^c   Scedrov, Andre ^c  

^a UNIVERSITY OF MUNICH   (Germany)

^b CARNEGIE MELLON UNIVERSITY   (United States)

^c UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

Correctness; Declarative Networking; Distributed Datalog; Logic Programming

Indexed keywords

ASYNCHRONOUS ALGORITHMS; CORRECTNESS; DECLARATIVE NETWORKINGS; DISTRIBUTED DATALOG; DISTRIBUTED SYSTEMS; FORMAL PROOFS; INSERTIONS AND DELETIONS; LOGIC PROGRAMS; MULTI AGENT SYSTEM (MAS); UNDERLYING SYSTEMS;

LOGIC PROGRAMMING; MULTI AGENT SYSTEMS; NETWORK PROTOCOLS;

ALGORITHMS;

EID: 84859574026     PISSN: 14778424     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.cl.2012.02.001     Document Type: Article

References (22)

1. S. Abiteboul, R. Hull, and V. Vianu Foundations of databases 1995 Addison-Wesley
2. P. Adjiman, P. Chatalic, F. Goasdoué, M.-C. Rousset, and L. Simon Distributed reasoning in a peer-to-peer setting: application to the semantic web Journal of Artificial Intelligence Research 25 1 2006 269 314
3. J. Júlio Alferes, J. Alexandre Leite, L. Moniz Pereira, H. Przymusinska, and T.C. Przymusinski Dynamic logic programming APPIA-GULP-PRODE 1998 393 408
4. Alvaro P, Warczak W, Conway N, Hellerstein JM, Maier D, Sears RC. Dedalus: Datalog in time and space. Technical report UCB/EECS-2009-173, EECS Department, University of California, Berkeley; December 2009.
5. M.P. Ashley-Rollman, S. Copen Goldstein, P. Lee, T.C. Mowry, and P. Pillai Meld: a declarative approach to programming ensembles IROS 2007 IEEE 2794 2800
6. S. Grumbach, and F. Wang Netloga a rule-based language for distributed programming PADL 2010 88 103
7. A. Gupta, I. Singh Mumick, and V.S. Subrahmanian Maintaining views incrementally P. Buneman, S. Jajodia, Proceedings of the 1993 ACM SIGMOD international conference on management of data, May 26-28 1993 ACM Press Washington, D.C. 157 166
8. R. Krishnamurthy, R. Ramakrishnan, and O. Shmueli A framework for testing safety and effective computability Journal of Computer and System Sciences 52 1 1996 100 124
9. M. Liu, N.E. Taylor, W. Zhou, Z.G. Ives, and B. Thau Loo Recursive computation of regions and connectivity in networks ICDE 2009 1108 1119
10. B. Thau Loo, T. Condie, M. Garofalakis, D.E. Gay, J.M. Hellerstein, and P. Maniatis Declarative networking: language, execution and optimization SIGMOD 2006
11. B. Thau Loo, J.M. Hellerstein, I. Stoica, and R. Ramakrishnan Declarative routing: extensible routing with declarative queries SIGCOMM 2005
12. N.P. Lopes, J.A. Navarro, A. Rybalchenko, and A. Singh Applying prolog to develop distributed systems ICLP 2010
13. I. Singh Mumick, H. Pirahesh, and R. Ramakrishnan The magic of duplicates and aggregates VLDB 90: proceedings of the 16th international conference on very large data bases 1990 Morgan Kaufmann Publishers Inc. San Francisco, CA, USA 264 277
14. I. Singh Mumick, and O. Shmueli Finiteness properties of database queries Australian database conference 1993 274 288
15. V. Nigam, L. Jia, B. Thau Loo, and A. Scedrov Maintaining distributed logic programs incrementally PPDP 2011 125 136
16. V. Nigam, L. Jia, A. Wang, B.T. Loo, and A. Scedrov An operational semantics for network datalog LAM10 2010
17. M. Tamer Ozsu, and P. Valduriez Principles of distributed database systems 2nd ed. 1999 Prentice Hall
18. V. Paxson End to end routing behavior in the internet SIGCOMM 96: Conference proceedings on applications, technologies, architectures, and protocols for computer communications 1996 ACM New York, USA 25 38
19. R. Ramakrishnan, K.A. Ross, D. Srivastava, and S. Sudarshan Efficient incremental evaluation of queries with aggregation SLP 1994 204 218
20. R. Ramakrishnan, and J.D. Ullman A survey of research on deductive database systems Journal of Logic Programming 23 2 1993 125 149
21. A. Wang, P. Basu, B.T. Loo, and O. Sokolsky Declarative network verification Eleventh international symposium on practical aspects of declarative languages (PADL) 2009
22. A. Wang, L. Jia, C. Liu, B.T. Loo, O. Sokolsky, and P. Basu Formally verifiable networking ACM SIGCOMM HotNets-VIII 2009