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, The Active XML project: an overview, The VLDB Journal, vol.7, issue.4, pp.1019-1040, 2008.
DOI : 10.1007/s00778-007-0049-y

S. Abiteboul, A. Galland, A. Marian, and A. Polyzotis, A model for web information management with access control, 2010.

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.

P. Adjiman, P. Chatalic, F. Goasdoué, M. Rousset, and L. Simon, Distributed reasoning in a peer-to-peer setting: Application to the semantic web, J. Artif. Intell. Res. (JAIR), vol.25, pp.269-314, 2006.

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. Caì-i, G. Gottlob, and T. Lukasiewicz, Datalog ± : a unified approach to ontologies and integrity constraints, ICDT, pp.14-30, 2009.

S. S. Cosmadakis, H. Gaifman, P. C. Kanellakis, and M. Y. Vardi, Decidable optimization problems for database logic programs (preliminary report), STOC, pp.477-490, 1988.
DOI : 10.1145/62212.62259

R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi, Reasoning about knowledge, 2003.

A. Y. Halevy, Answering queries using views: A survey, The VLDB Journal, vol.10, issue.4, pp.270-294, 2001.
DOI : 10.1007/s007780100054

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.

B. T. Loo, T. Condie, J. M. Hellerstein, P. Maniatis, T. Roscoe et al., Implementing declarative overlays, SOSP, pp.75-90, 2005.
DOI : 10.1145/1095809.1095818
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.192.3367

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

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

L. Vieille, Recursive axioms in deductive databases: The query/subquery approach, Expert Database Conf, pp.253-267, 1986.