Maintaining distributed logic programs incrementally

PPDP'11 - Proceedings of the 2011 Symposium on Principles and Practices of Declarative Programming

Volumn , Issue , 2011, Pages 125-136

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

^a UNIVERSITY OF MUNICH   (Germany)

^b CARNEGIE MELLON UNIVERSITY   (United States)

^c UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

Distributed datalog; Incremental maintenance; Logic programming

Indexed keywords

ASYNCHRONOUS ALGORITHMS; DATALOG; DISTRIBUTED SYSTEMS; FORMAL PROOFS; INCREMENTAL MAINTENANCE; INSERTIONS AND DELETIONS; LOGIC PROGRAMS; UNDERLYING SYSTEMS;

ALGORITHMS; COMPUTER PROGRAMMING LANGUAGES; INTELLIGENT AGENTS; LOGIC PROGRAMMING; MULTI AGENT SYSTEMS; NETWORK PROTOCOLS;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 80052185234     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2003476.2003495     Document Type: Conference Paper

References (20)

1. S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison-Wesley, 1995.
2. P. Adjiman, P. Chatalic, F. Goasdoúe, M.-C. Rousset, and L. Simon. Distributed reasoning in a peer-to-peer setting: application to the semantic web. J. Artif. Int. Res., 25(1):269-314, 2006. (Pubitemid 43800048)
3. J. J. Alferes, J. A. Leite, L. M. Pereira, H. Przymusinska, and T. C. Przymusinski. Dynamic logic programming. In KR, pages 98-111, 1998.
4. P. Alvaro, W. Marczak, N. Conway, J. M. Hellerstein, D. Maier, and R. C. Sears. 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. C. Goldstein, P. Lee, T. C. Mowry, and P. Pillai. Meld: A declarative approach to programming ensembles. In IEEE International Conference on Intelligent Robots and Systems (IROS), October 2007.
6. S. Grumbach and F. Wang. Netlog, a rule-based language for distributed programming. In International Symposium on Practical Aspects of Declarative Languages (PADL), January 2010.
7. A. Gupta, I. S. Mumick, and V. S. Subrahmanian. Maintaining views incrementally. In Proceedings of the 1993 ACM SIGMOD International Conference on Management of Data (SIGMOD), June 1993.
8. R. Krishnamurthy, R. Ramakrishnan, and O. Shmueli. A framework for testing safety and effective computability. J. Comput. Syst. Sci., 52(1):100-124, 1996. (Pubitemid 126340853)
9. M. Liu, N. E. Taylor, W. Zhou, Z. G. Ives, and B. T. Loo. Recursive computation of regions and connectivity in networks. In Proceedings of the 2009 IEEE International Conference on Data Engineering (ICDE), March 2009.
10. B. T. Loo, T. Condie, M. Garofalakis, D. E. Gay, J. M. Hellerstein, P. Maniatis, R. Ramakrishnan, T. Roscoe, and I. Stoica. Declarative Networking: Language, Execution and Optimization. In Proceedings of the 2006 ACM SIGMOD International Conference on Management of Data (SIGMOD), June 2006.
11. N. P. Lopes, J. A. Navarro, A. Rybalchenko, and A. Singh. Applying Prolog to develop distributed systems. In Proceedings of the Twentysixth International Conference on Logic Programming (ICLP), July 2010.
12. I. S. Mumick and O. Shmueli. Finiteness properties of database queries. In Australian Database Conference, pages 274-288, 1993.
13. V. Nigam, L. Jia, A. Wang, B. T. Loo, and A. Scedrov. An operational semantics for network datalog. In Third International Workshop on Logics, Agents, and Mobility (LAM), July 2010.
14. V. Nigam, L. Jia, B. T. Loo, and A. Scedrov. Maintaining Distributed Recursive Views Incrementally. Technical Report No. MS-CIS-11-06, UPENN, 2011.
15. V. Paxson. End-to-end routing behavior in the internet. In SIGCOMM, August 1996.
16. R. Ramakrishnan and J. D. Ullman. A Survey of Research on Deductive Database Systems. Journal of Logic Programming, 23(2):125- 149, 1993.
17. R. Ramakrishnan, K. A. Ross, D. Srivastava, and S. Sudarshan. Efficient incremental evaluation of queries with aggregation. In Proceedings of the 1994 International Symposium on Logic programming (SLP), 1994.
18. G. Ramalingam and T. W. Reps. on the computational complexity of dynamic graph problems. Theor. Comput. Sci., 158(1&2):233-277, 1996. (Pubitemid 126411933)
19. A. Wang, P. Basu, B. T. Loo, and O. Sokolsky. Declarative network verification. In International Symposium on Practical Aspects of Declarative Languages (PADL), Jan. 2009.
20. A.Wang, L. Jia, C. Liu, B. T. Loo, O. Sokolsky, and P. Basu. Formally Verifiable Networking. In SIGCOMM HotNets-VIII, 2009.