A. , S. Vianu, V. Fordham, B. S. And-yesha, and Y. , Relational transducers for electronic commerce, Journal of Computer and System Sciences, vol.61, issue.2, pp.236-269, 2000.

B. , F. Lomuscio, A. And-patrizi, and F. , An abstraction technique for the verification of artifact-centric systems, Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference (KR), 2012.

B. , M. Gottlob, G. And-senellart, and P. , Determining relevance of accesses at runtime, Proceedings of the Twenty-third ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS), pp.211-222, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00603647

C. , A. Calvanese, D. And-martinenghi, and D. , Dynamic query optimization under access limitations and dependencies, Journal of Universal Computer Science, vol.15, issue.1, pp.33-62, 2009.

C. , A. And-martinenghi, and D. , Conjunctive query containment under access limitations, International Conference on Conceptual Modeling (ER), pp.326-340, 2008.

C. , A. And, and M. Y. Vardi, The implication problem for functional and inclusion dependencies is undecidable, SIAM Journal on Computing, vol.14, issue.3, pp.671-677, 1985.

C. , S. And, and M. Y. Vardi, On the equivalence of recursive and nonrecursive Datalog programs, Journal of Computer and System Sciences, vol.54, issue.1, pp.61-78, 1997.

C. , S. And, and M. Y. Vardi, On the equivalence of recursive and nonrecursive datalog programs, Journal of Computer and System Sciences, vol.54, issue.1, pp.61-78, 1997.

C. , E. M. Grumberg, O. And-peled, and D. , Model Checking, 2000.

D. , E. Deutsch, A. And-vianu, and V. , Artifact systems with data dependencies and arithmetic, ACM Trans. Database Syst, vol.37, issue.22, pp.1-2236, 2012.

D. , A. Hull, R. Patrizi, F. And-vianu, and V. , Automatic verification of data-centric business processes, ICDT, pp.252-267, 2009.

D. , A. Ludäscher, B. And-nash, and A. , Rewriting queries using views with access patterns under integrity constraints, Theoretical Computer Science, vol.371, issue.3, pp.200-226, 2007.

D. , A. Sui, L. And-vianu, and V. , Specification and verification of data-driven web applications, Journal of Computer and System Sciences, vol.73, pp.442-474, 2007.

E. , E. B. Mit, C. Fritz, R. Hull, and J. And-su, Temporal and modal logic Automatic construction of simple artifact-based business processes, ICDT, pp.225-238, 1990.

H. , B. B. Calvanese, D. Giacomo, G. D. Deutsch, A. And-montali et al., Verification of relational data-centric dynamic systems with external services, Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS), pp.163-174, 2013.

H. , I. Wolter, F. And-zakharyaschev, and M. , Decidable fragments of first-order temporal logics, Annals of Pure and Applied Logic, vol.106, pp.85-134, 2000.

K. , A. Wolter, F. Zakharyaschev, M. And-gabbay, and D. M. , Many-Dimensional Modal Logics: Theory and Applications, 2003.

L. , C. And-chang, and E. Y. , Answering queries with useful bindings, ACM Transactions on Database Systems, vol.26, issue.3, pp.313-343, 2001.

N. , A. And-ludäscher, and B. , Processing first-order queries under limited access patterns, Proceedings of the Twenty-third ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS), pp.307-318, 2004.

R. , A. Sagiv, Y. And-ullman, and J. D. , Answering queries using templates with binding patterns, Proceedings of the Fourteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS), pp.105-112, 1995.

W. , F. And, and M. Zakharyaschev, Modal description logics: Modalizing roles, Fundamenta Informaticae, vol.39, issue.4, pp.411-438, 1999.