S. Abiteboul, E. Antoine, and J. Stoyanovich, Viewing the Web as a Distributed Knowledge Base, 2012 IEEE 28th International Conference on Data Engineering, 2012.
DOI : 10.1109/ICDE.2012.150

URL : https://hal.archives-ouvertes.fr/hal-00703210

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

S. Abiteboul, M. Bienvenu, A. Galland, and E. Antoine, A rule-based language for web data management, Proceedings of the 30th symposium on Principles of database systems of data, PODS '11, pp.293-304, 2011.
DOI : 10.1145/1989284.1989320

URL : https://hal.archives-ouvertes.fr/inria-00582891

S. Abiteboul, P. Bourhis, and V. Vianu, Comparing workflow specification languages: A matter of views, TODS, vol.37, issue.2, p.2012
URL : https://hal.archives-ouvertes.fr/hal-00766210

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

S. Abiteboul and V. Vianu, Datalog extensions for database queries and updates, Journal of Computer and System Sciences, vol.43, issue.1, 1991.
DOI : 10.1016/0022-0000(91)90032-Z

URL : https://hal.archives-ouvertes.fr/inria-00075656

P. Alvaro, W. R. Marczak, N. Conway, J. M. Hellerstein, D. Maier et al., Dedalus: Datalog in Time and Space, Datalog, pp.262-281, 2010.
DOI : 10.1007/978-3-642-24206-9_16

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

M. Arenas, V. Kantere, A. Kementsietsidis, I. Kiringa, R. J. Miller et al., The hyperion project, ACM SIGMOD Record, vol.32, issue.3, pp.53-58, 2003.
DOI : 10.1145/945721.945733

D. Brand and P. Zafiropulo, On Communicating Finite-State Machines, Journal of the ACM, vol.30, issue.2, 1983.
DOI : 10.1145/322374.322380

J. Brzozwski and E. Leiss, Finite automata and sequential networks, Theoretical Computer Science, vol.10, 1980.

A. Deutsch, L. Sui, V. Vianu, and D. Zhou, Verification of communicating data-driven web services, Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems , PODS '06, 2006.
DOI : 10.1145/1142351.1142364

E. A. Emerson, Temporal and modal logic Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics, 1990.

T. J. Green, G. Karvounarakis, N. E. Taylor, O. Biton, Z. G. Ives et al., ORCHESTRA, Proceedings of the 2007 ACM SIGMOD international conference on Management of data , SIGMOD '07, 2007.
DOI : 10.1145/1247480.1247631

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

R. Hull, Web services composition: A story of models , automata, and logics, ICSOC, 2005.

R. Hull and J. Su, Tools for composite web services, ACM SIGMOD Record, vol.34, issue.2, pp.86-95, 2005.
DOI : 10.1145/1083784.1083807

T. Imieli´nskiimieli´nski and W. Lipski, Incomplete information in relational databases, JACM, vol.31, issue.4, 1984.

V. Taylor, P. P. Tannen, M. Talukdar, F. Jacob, and . Pereira, The orchestra collaborative data sharing system, SIGMOD Record, vol.37, issue.3, 2008.

A. Nigam and N. S. Caswell, Business artifacts: An approach to operational specification, IBM Systems Journal, vol.42, issue.3, pp.428-445, 2003.
DOI : 10.1147/sj.423.0428

I. Tatarinov, Z. G. Ives, J. Madhavan, A. Y. Halevy, D. Suciu et al., The Piazza peer data management project, ACM SIGMOD Record, vol.32, issue.3, pp.47-52, 2003.
DOI : 10.1145/945721.945732

M. Vardi, An automata-theoretic approach to linear temporal logic, Banff Higher Order Workshop, 1995.
DOI : 10.1007/3-540-60915-6_6