메뉴 건너뛰기




Volumn 7, Issue 6, 1995, Pages 997-1007

A Formal Characterization of Epsilon Serializability

Author keywords

ACTA; concurrency control; Epsilon serializability; formal techniques; transaction processing

Indexed keywords

CONCURRENCY CONTROL; DATA STRUCTURES; ERRORS; QUERY LANGUAGES; STATE SPACE METHODS;

EID: 0029488231     PISSN: 10414347     EISSN: None     Source Type: Journal    
DOI: 10.1109/69.476504     Document Type: Article
Times cited : (69)

References (29)
  • 1
    • 0025494701 scopus 로고
    • Data caching issues in an information retrieval system
    • Sept.
    • R. Alonso. D. Barbara, and H. Garcia-Molina, “Data caching issues in an information retrieval system,” ACM Transactions on Database Systems, vol. 15, no. 3, pp. 359-384, Sept. 1990.
    • (1990) ACM Transactions on Database Systems , vol.15 , Issue.3 , pp. 359-384
    • Alonso, R.1    Barbara, D.2    Garcia-Molina, H.3
  • 3
    • 0010250817 scopus 로고
    • The demarcation protocol: A technique for maintaining arithmetic constraints in distributed database systems
    • Vienna, Austria, Mar., Lecture Notes in Computer Science, Springer-Verlag.
    • D. Barbara and H. Garcia-Molina, “The demarcation protocol: A technique for maintaining arithmetic constraints in distributed database systems,” Extending Database Technology Conf., Vienna, Austria, Mar. 1992, Lecture Notes in Computer Science, vol. 580, pp. 373-397, Springer-Verlag.
    • (1992) Extending Database Technology Conf , vol.580 , pp. 373-397
    • Barbara, D.1    Garcia-Molina, H.2
  • 5
    • 0025446220 scopus 로고
    • ACTA: A framework for specifying and reasoning about transaction structure and behavior
    • June
    • P.K. Chrysanthis and K. Ramamritham, “ACTA: A framework for specifying and reasoning about transaction structure and behavior,” Proc. SIGMOD Conf. Management of Data. pp. 194-203, June 1990.
    • (1990) Proc. SIGMOD Conf. Management of Data , pp. 194-203
    • Chrysanthis, P.K.1    Ramamritham, K.2
  • 6
    • 84942007203 scopus 로고
    • ACTA: The saga continues. A. Elmagarmid, ed., Trans. Models for Advanced Applications. Morgan Kaufmann
    • P.K. Chrysanthis and K. Ramamritham. “ACTA: The saga continues. A. Elmagarmid, ed., Trans. Models for Advanced Applications. Morgan Kaufmann, 1991.
    • (1991)
    • Chrysanthis, P.K.1    Ramamritham, K.2
  • 7
    • 0024718878 scopus 로고
    • Quasi serializability: A correctness criterion for global concurrency control in interBase
    • Amsterdam, The Netherlands, Aug.
    • W. Du and A. Elmagarmid, “Quasi serializability: A correctness criterion for global concurrency control in interBase,” Proc. Int'l Conf Very Large Data Bases, pp. 347-355, Amsterdam, The Netherlands, Aug. 1989.
    • (1989) Proc. Int'l Conf Very Large Data Bases , pp. 347-355
    • Du, W.1    Elmagarmid, A.2
  • 8
    • 0020766588 scopus 로고
    • Using semantic knowledge for transactions processing in a distributed database
    • June
    • H. Garcia-Molina, “Using semantic knowledge for transactions processing in a distributed database,” ACM Trans. Database Systems, vol. 8, no. 2, pp. 186-213, June 1983.
    • (1983) ACM Trans. Database Systems , vol.8 , Issue.2 , pp. 186-213
    • Garcia-Molina, H.1
  • 10
    • 0020145706 scopus 로고
    • Read-only transactions in a distributed database
    • June
    • H. Garcia-Molina and G. Wiederhold, “Read-only transactions in a distributed database,” ACM Trans. Database Systems, vol. 7, no. 2, pp. 209-234, June 1982.
    • (1982) ACM Trans. Database Systems , vol.7 , Issue.2 , pp. 209-234
    • Garcia-Molina, H.1    Wiederhold, G.2
  • 12
    • 0020920186 scopus 로고
    • Principles of transaction-oriented database recovery
    • Dec.
    • T. Haerder and A. Reuter, “Principles of transaction-oriented database recovery.” ACM Computing Surveys, vol. 15, no. 4, pp. 287-317, Dec. 1983.
    • (1983) ACM Computing Surveys , vol.15 , Issue.4 , pp. 287-317
    • Haerder, T.1    Reuter, A.2
  • 13
    • 84942007283 scopus 로고
    • Unilateral commit: A new paradigm for reliable distributed transaction processing
    • Kobe, Japan, Feb.
    • M. Hsu and A. Silberschatz, “Unilateral commit: A new paradigm for reliable distributed transaction processing.” Proc. Seventh Intl Conf. Data Engineering, Kobe, Japan, Feb. 1990.
    • (1990) Proc. Seventh Intl Conf. Data Engineering
    • Hsu, M.1    Silberschatz, A.2
  • 14
    • 0027221217 scopus 로고
    • Performance characteristics of epsilon serializability with hierarchical inconsistency bounds
    • Apr.
    • M. Kamath and K. Ramamritham, “Performance characteristics of epsilon serializability with hierarchical inconsistency bounds,” Int'l Conf. Data Engineering, Apr. 1993.
    • (1993) Int'l Conf. Data Engineering
    • Kamath, M.1    Ramamritham, K.2
  • 20
    • 0022880421 scopus 로고
    • The escrow transactional method
    • Dec.
    • P.E. O'Neil, “The escrow transactional method.” ACM Trans. Database Systems, vol. 11, no. 4, pp. 405-430, Dec. 1986.
    • (1986) ACM Trans. Database Systems , vol.11 , Issue.4 , pp. 405-430
    • Neil, P. E. O'.1
  • 21
    • 84976787622 scopus 로고
    • Replica control in distributed systems: An asynchronous approach
    • Denver, Co., May
    • C. Pu and A. Leff, “Replica control in distributed systems: An asynchronous approach.” Proc. 1991 ACM SIGMOD Int'l Conf. Management of Data, pp. 377-386, Denver, Co., May 1991.
    • (1991) Proc. 1991 ACM SIGMOD Int'l Conf. Management of Data , pp. 377-386
    • Pu, C.1    Leff, A.2
  • 22
    • 0026976454 scopus 로고
    • Autonomous transaction execution with epsilon-serializability
    • IEEE, Phoenix, Ariz., Feb.
    • C. Pu and A. Leff, “Autonomous transaction execution with epsilon-serializability.” Proc. 1992 RIDE Workshop Trans. and Query Processing, IEEE, Phoenix, Ariz., Feb. 1992.
    • (1992) Proc. 1992 RIDE Workshop Trans. and Query Processing
    • Pu, C.1    Leff, A.2
  • 23
    • 0040280698 scopus 로고
    • In search of acceptability criteria: Database consistency requirements and transaction correctness properties
    • Ozsu, Dayal, and Valduriez, eds., Morgan Kaufmann
    • K. Ramamritham and P. Chrysanthis, “In search of acceptability criteria: Database consistency requirements and transaction correctness properties,” Distributed Object Management, Ozsu, Dayal, and Valduriez, eds., Morgan Kaufmann, 1993.
    • (1993) Distributed Object Management
    • Ramamritham, K.1    Chrysanthis, P.2
  • 24
    • 2342612051 scopus 로고
    • Redundant data management in Bellcore and BCC databases
    • Bell Communications Research, Dec.
    • A. Sheth and P. Krishnamurthy, “Redundant data management in Bellcore and BCC databases.” Tech. Report TM-STS-015011/1, Bell Communications Research, Dec. 1989.
    • (1989) Tech. Report TM-STS-015011/1
    • Sheth, A.1    Krishnamurthy, P.2
  • 25
    • 0013617928 scopus 로고
    • Maintaining consistency of interdependent data in multidatabase systems
    • Purdue Univ., Mar.
    • A. Sheth, Y. Leu, and A. Elmagarmid, “Maintaining consistency of interdependent data in multidatabase systems.” Tech. Report CSD-TR-91-016, Purdue Univ., Mar. 1991.
    • (1991) Tech. Report CSD-TR-91-016
    • Sheth, A.1    Leu, Y.2    Elmagarmid, A.3
  • 26
    • 0025545608 scopus 로고
    • Management of interdependent data: Specifying dependency and consistency requirements
    • Houston, Tex., Nov.
    • A. Sheth and M. Rusinkiewicz, “Management of interdependent data: Specifying dependency and consistency requirements.” Proc. Workshop on Management of Replicated Data, pp. 133-136, Houston, Tex., Nov. 1990.
    • (1990) Proc. Workshop on Management of Replicated Data , pp. 133-136
    • Sheth, A.1    Rusinkiewicz, M.2
  • 29


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