메뉴 건너뛰기




Volumn 23, Issue 7, 1998, Pages 439-462

Accessing extra-database information: Concurrency control and correctness

Author keywords

Concurrency Control; Correctness Criteria; Transactions

Indexed keywords

CONCURRENCY CONTROL; DATA PROCESSING; USER INTERFACES;

EID: 0032207865     PISSN: 03064379     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0306-4379(98)00022-2     Document Type: Article
Times cited : (1)

References (14)
  • 8
    • 0028514325 scopus 로고
    • Formal aspects of concurrency control in long-duration transaction systems using the NT/PV model
    • H.F. Korth and G. Speegle. Formal aspects of concurrency control in long-duration transaction systems using the NT/PV model. ACM Transactions on Database Systems, 19(3):492-535 (1994).
    • (1994) ACM Transactions on Database Systems , vol.19 , Issue.3 , pp. 492-535
    • Korth, H.F.1    Speegle, G.2
  • 9
    • 1842458545 scopus 로고
    • Algorithms for flexible space management in transaction systems supporting fine-granularity locking
    • Cambridge, United Kingdom
    • C. Mohan and D. Haderle. Algorithms for flexible space management in transaction systems supporting fine-granularity locking. In Proc. 4th International Conference on Extending Database Technology, pp. 113-144, Cambridge, United Kingdom (1994).
    • (1994) Proc. 4th International Conference on Extending Database Technology , pp. 113-144
    • Mohan, C.1    Haderle, D.2
  • 10
    • 0002087549 scopus 로고    scopus 로고
    • A taxonomy of correctness criteria in database applications
    • K. Ramamritham and P.K. Chrysanthis. A taxonomy of correctness criteria in database applications. In Very Large Data Bases Journal, 5(1):85-97 (1996).
    • (1996) Very Large Data Bases Journal , vol.5 , Issue.1 , pp. 85-97
    • Ramamritham, K.1    Chrysanthis, P.K.2
  • 13
    • 0023295861 scopus 로고
    • Generalized theory of serializability
    • K. Vidyasankar. Generalized theory of serializability. Acta Information, 24:105-119 (1987).
    • (1987) Acta Information , vol.24 , pp. 105-119
    • Vidyasankar, K.1
  • 14
    • 0024136623 scopus 로고
    • Commutativity-based concurrency control for abstract data types
    • W. Weihl. Commutativity-based concurrency control for abstract data types. IEEE Transactions on Computers, 37(12): 1488-1505 (1988).
    • (1988) IEEE Transactions on Computers , vol.37 , Issue.12 , pp. 1488-1505
    • Weihl, W.1


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