Towards a Theory of Query Stability in Business Processes
暂无分享,去创建一个
[1] Wil M. P. van der Aalst,et al. Verification of Workflow Nets , 1997, ICATPN.
[2] Shuai Ma,et al. Improving Data Quality: Consistency and Accuracy , 2007, VLDB.
[3] Jef Wijsen,et al. Determining the Currency of Data , 2011, TODS.
[4] Serge Abiteboul,et al. Relational transducers for electronic commerce , 1998, J. Comput. Syst. Sci..
[5] Alon Y. Halevy,et al. Queries Independent of Updates , 1993, VLDB.
[6] Werner Nutt,et al. Completeness of queries over incomplete databases , 2011, Proc. VLDB Endow..
[7] Diego Calvanese,et al. Verification of relational data-centric dynamic systems with external services , 2012, PODS.
[8] Charles Elkan,et al. Independence of logic database queries and update , 1990, PODS '90.
[9] Alin Deutsch,et al. Specification and verification of data-driven web services , 2004, PODS.
[10] Jianwen Su,et al. Towards Formal Analysis of Artifact-Centric Business Process Models , 2007, BPM.