Relational transducers for electronic commerce, Journal of Computer and System Sciences, vol.61, issue.2, pp.236-269, 2000. ,
An abstraction technique for the verification of artifact-centric systems, Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference (KR), 2012. ,
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
Dynamic query optimization under access limitations and dependencies, Journal of Universal Computer Science, vol.15, issue.1, pp.33-62, 2009. ,
Conjunctive query containment under access limitations, International Conference on Conceptual Modeling (ER), pp.326-340, 2008. ,
The implication problem for functional and inclusion dependencies is undecidable, SIAM Journal on Computing, vol.14, issue.3, pp.671-677, 1985. ,
On the equivalence of recursive and nonrecursive Datalog programs, Journal of Computer and System Sciences, vol.54, issue.1, pp.61-78, 1997. ,
On the equivalence of recursive and nonrecursive datalog programs, Journal of Computer and System Sciences, vol.54, issue.1, pp.61-78, 1997. ,
Model Checking, 2000. ,
Artifact systems with data dependencies and arithmetic, ACM Trans. Database Syst, vol.37, issue.22, pp.1-2236, 2012. ,
Automatic verification of data-centric business processes, ICDT, pp.252-267, 2009. ,
Rewriting queries using views with access patterns under integrity constraints, Theoretical Computer Science, vol.371, issue.3, pp.200-226, 2007. ,
Specification and verification of data-driven web applications, Journal of Computer and System Sciences, vol.73, pp.442-474, 2007. ,
Temporal and modal logic Automatic construction of simple artifact-based business processes, ICDT, pp.225-238, 1990. ,
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. ,
Decidable fragments of first-order temporal logics, Annals of Pure and Applied Logic, vol.106, pp.85-134, 2000. ,
Many-Dimensional Modal Logics: Theory and Applications, 2003. ,
Answering queries with useful bindings, ACM Transactions on Database Systems, vol.26, issue.3, pp.313-343, 2001. ,
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. ,
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. ,
Modal description logics: Modalizing roles, Fundamenta Informaticae, vol.39, issue.4, pp.411-438, 1999. ,