메뉴 건너뛰기
CEUR Workshop Proceedings
Volumn 1189, Issue , 2014, Pages
Towards a theory of query stability in business processes
Author keywords

[No Author keywords available]
Indexed keywords

EID: 84907888711     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (2)
References (10)
  • 1
    • 84959912087 scopus 로고    scopus 로고
    • Improving data quality: Consistency and accuracy
    • Cong, G., Fan, W., Geerts, F., Jia, X., Ma, S.: Improving data quality: Consistency and accuracy. In: VLDB. (2007) 315-326
    • (2007) VLDB , pp. 315-326
    • Cong, G.1    Fan, W.2    Geerts, F.3    Jia, X.4    Ma, S.5
  • 3
    • 84863773454 scopus 로고    scopus 로고
    • Completeness of queries over incomplete databases
    • Razniewski, S., Nutt,W.: Completeness of queries over incomplete databases. PVLDB 4(11) (2011) 749-760
    • (2011) PVLDB , vol.4 , Issue.11 , pp. 749-760
    • Razniewski, S.1    Nutt, W.2
  • 4
    • 52449135365 scopus 로고    scopus 로고
    • Verification of workflow nets
    • van der Aalst, W.M.P.: Verification of workflow nets. In: ICATPN. (1997) 407-426
    • (1997) ICATPN , pp. 407-426
    • Van Der Aalst, W.M.P.1
  • 5
    • 0031636451 scopus 로고    scopus 로고
    • Relational transducers for electronic commerce
    • Abiteboul, S., Vianu, V., Fordham, B.S., Yesha, Y.: Relational transducers for electronic commerce. In: PODS. (1998) 179-187
    • (1998) PODS , pp. 179-187
    • Abiteboul, S.1    Vianu, V.2    Fordham, B.S.3    Yesha, Y.4
  • 6
    • 38049138975 scopus 로고    scopus 로고
    • Towards formal analysis of artifactcentric business process models
    • Bhattacharya, K., Gerede, C.E., Hull, R., Liu, R., Su, J.: Towards formal analysis of artifactcentric business process models. In: BPM. (2007) 288-304
    • (2007) BPM. , pp. 288-304
    • Bhattacharya, K.1    Gerede, C.E.2    Hull, R.3    Liu, R.4    Su, J.5
  • 7
    • 3142757108 scopus 로고    scopus 로고
    • Specification and verification of data-driven web services
    • Deutsch, A., Sui, L., Vianu, V.: Specification and verification of data-driven web services. In: PODS. (2004) 71-82
    • (2004) PODS , pp. 71-82
    • Deutsch, A.1    Sui, L.2    Vianu, V.3
  • 8
    • 84880554709 scopus 로고    scopus 로고
    • Verification of relational data-centric dynamic systems with external services
    • Bagheri Hariri, B., Calvanese, D., De Giacomo, G., Deutsch, A., Montali, M.: Verification of relational data-centric dynamic systems with external services. In: PODS. (2013) 163-174
    • (2013) PODS , pp. 163-174
    • Bagheri Hariri, B.1    Calvanese, D.2    De Giacomo, G.3    Deutsch, A.4    Montali, M.5
  • 9
    • 0025406204 scopus 로고
    • Independence of logic database queries and updates
    • Elkan, C.: Independence of logic database queries and updates. In: PODS. (1990) 154-160
    • (1990) PODS , pp. 154-160
    • Elkan, C.1
  • 10
    • 0002724796 scopus 로고
    • Queries independent of updates
    • Levy, A.Y., Sagiv, Y.: Queries independent of updates. In: VLDB. (1993) 171-181
    • (1993) VLDB , pp. 171-181
    • Levy, A.Y.1    Sagiv, Y.2

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.