S. Abiteboul, Z. Abrams, S. Haar, and T. Milo, Diagnosis of asynchronous discrete event systems, Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems , PODS '05, pp.358-367, 2005.
DOI : 10.1145/1065167.1065214
URL : https://hal.archives-ouvertes.fr/inria-00638322

S. Abiteboul, O. Benjelloun, and T. Milo, Positive active XML, Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems , PODS '04, pp.35-45, 2004.
DOI : 10.1145/1055558.1055564

S. Abiteboul, O. Benjelloun, and T. Milo, The Active XML project: an overview, The VLDB Journal, vol.7, issue.4, pp.1019-1040, 2008.
DOI : 10.1007/s00778-007-0049-y

. Rousset, Distributed datalog revisited, Gottlob [15]
URL : https://hal.archives-ouvertes.fr/inria-00540814

S. Abiteboul, A. Galland, and A. Polyzotis, Web information management with access control, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00595200

S. Abiteboul, R. Hull, and V. Vianu, Foundations of Databases, 1995.

S. Abiteboul, L. Segoufin, and V. Vianu, Static analysis of Active XML systems, PODS, pp.221-230, 2008.

S. Abiteboul and V. Vianu, Datalog extensions for database queries and updates, Journal of Computer and System Sciences, vol.43, issue.1, pp.62-124, 1991.
DOI : 10.1016/0022-0000(91)90032-Z
URL : https://hal.archives-ouvertes.fr/inria-00075656

P. Alvaro, T. Condie, N. Conway, K. Elmeleegy, J. M. Hellerstein et al., Boom analytics, Proceedings of the 5th European conference on Computer systems, EuroSys '10, pp.223-236, 2010.
DOI : 10.1145/1755913.1755937

E. Antoine, A. Galland, K. Lyngbaek, A. Marian, and N. Polyzotis, Social networking on top of the WebdamExchange system, 2011 IEEE 27th International Conference on Data Engineering, 2011.
DOI : 10.1109/ICDE.2011.5767939
URL : https://hal.archives-ouvertes.fr/inria-00536361

F. Bancilhon, D. Maier, Y. Sagiv, and J. D. Ullman, Magic sets and other strange ways to implement logic programs, PODS, pp.1-15, 1986.
DOI : 10.1145/6012.15399

A. K. Chandra and D. Harel, Horn clause queries and generalizations, The Journal of Logic Programming, vol.2, issue.1, pp.1-15, 1985.
DOI : 10.1016/0743-1066(85)90002-0
URL : http://doi.org/10.1016/0743-1066(85)90002-0

J. Field, M. Marinescu, and C. Stefansen, Reactors: A data-oriented synchronous/asynchronous programming model for distributed applications, Theoretical Computer Science, vol.410, issue.2-3, pp.168-201, 2009.
DOI : 10.1016/j.tcs.2008.09.052

M. Gelfond and V. Lifschitz, The stable model semantics for logic programming, ICLP/SLP, pp.1070-1080, 1988.

S. Grumbach and F. Wang, Netlog, a Rule-Based Language for Distributed Programming, PADL, pp.88-103, 2010.
DOI : 10.1007/978-3-642-11503-5_9

J. Hellerstein, The declarative imperative, ACM SIGMOD Record, vol.39, issue.1, pp.5-19, 2010.
DOI : 10.1145/1860702.1860704

G. Hulin, Parallel processing of recursive queries in distributed architectures, VLDB, pp.87-96, 1989.

G. Lausen, B. Ludäscher, and W. May, On active deductive databases: The statelog approach, Lecture Notes in Computer Science, vol.1472, pp.69-106, 1998.
DOI : 10.1007/BFb0055496

C. Liu, Y. Mao, M. Oprea, P. Basu, and B. T. Loo, A declarative perspective on adaptive manet routing, Proceedings of the ACM workshop on Programmable routers for extensible services of tomorrow, PRESTO '08, pp.63-68, 2008.
DOI : 10.1145/1397718.1397733

B. T. Loo, T. Condie, M. Garofalakis, D. E. Gay, J. M. Hellerstein et al., Declarative networking, Proceedings of the 2006 ACM SIGMOD international conference on Management of data , SIGMOD '06, pp.97-108, 2006.
DOI : 10.1145/1142473.1142485

B. T. Loo, T. Condie, M. N. Garofalakis, D. E. Gay, J. M. Hellerstein et al., Declarative networking, Communications of the ACM, vol.52, issue.11, pp.87-95, 2009.
DOI : 10.1145/1592761.1592785

B. T. Loo, T. Condie, J. M. Hellerstein, P. Maniatis, T. Roscoe et al., Implementing declarative overlays, ACM SIGOPS Operating Systems Review, vol.39, issue.5, pp.75-90, 2005.
DOI : 10.1145/1095809.1095818

B. T. Loo, J. M. Hellerstein, I. Stoica, and R. Ramakrishnan, Declarative routing: extensible routing with declarative queries, SIGCOMM, pp.289-300, 2005.

J. Navarro and A. Rybalchenko, Operational Semantics for Declarative Networking, Practical Aspects of Declarative Languages, pp.76-90, 2009.
DOI : 10.1109/TSE.2005.23

W. Nejdl, S. Ceri, and G. Wiederhold, Evaluating recursive queries in distributed databases, IEEE Transactions on Knowledge and Data Engineering, vol.5, issue.1, pp.104-121, 1993.
DOI : 10.1109/69.204095

T. C. Przymusinski, The well-founded semantics coincides with the three-valued stable semantics, Fundamenta Informaticae, vol.13, issue.4, pp.445-463, 1990.

L. Vieille, Recursive axioms in deductive databases: The query-subquery approach, Proc. Expert Database Systems, pp.179-193, 1986.