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
The Active XML project: an overview, The VLDB Journal, vol.7, issue.4, 2008. ,
DOI : 10.1007/s00778-007-0049-y
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
Comparing workflow specification languages: A matter of views, TODS, vol.37, issue.2, p.2012 ,
URL : https://hal.archives-ouvertes.fr/hal-00766210
Foundations of Databases, 1995. ,
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
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=10.1.1.178.1009
The hyperion project, ACM SIGMOD Record, vol.32, issue.3, pp.53-58, 2003. ,
DOI : 10.1145/945721.945733
On Communicating Finite-State Machines, Journal of the ACM, vol.30, issue.2, 1983. ,
DOI : 10.1145/322374.322380
Finite automata and sequential networks, Theoretical Computer Science, vol.10, 1980. ,
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
Temporal and modal logic Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics, 1990. ,
ORCHESTRA, Proceedings of the 2007 ACM SIGMOD international conference on Management of data , SIGMOD '07, 2007. ,
DOI : 10.1145/1247480.1247631
The declarative imperative, ACM SIGMOD Record, vol.39, issue.1, 2010. ,
DOI : 10.1145/1860702.1860704
Web services composition: A story of models , automata, and logics, ICSOC, 2005. ,
Tools for composite web services, ACM SIGMOD Record, vol.34, issue.2, pp.86-95, 2005. ,
DOI : 10.1145/1083784.1083807
Incomplete information in relational databases, JACM, vol.31, issue.4, 1984. ,
The orchestra collaborative data sharing system, SIGMOD Record, vol.37, issue.3, 2008. ,
Business artifacts: An approach to operational specification, IBM Systems Journal, vol.42, issue.3, pp.428-445, 2003. ,
DOI : 10.1147/sj.423.0428
The Piazza peer data management project, ACM SIGMOD Record, vol.32, issue.3, pp.47-52, 2003. ,
DOI : 10.1145/945721.945732
An automata-theoretic approach to linear temporal logic, Banff Higher Order Workshop, 1995. ,
DOI : 10.1007/3-540-60915-6_6