We need to be more precise about what we mean by successful completion of a transaction. We therefore establish a simple abstract transaction model. A transaction must be in one of the following states:
เราจำเป็นต้องละเอียดมากขึ้นเกี่ยวกับสิ่งที่เราหมายถึงโดยสำเร็จ ของธุรกรรม เราจึงสร้างแบบธุรกรรมนามธรรมอย่าง A ธุรกรรมต้องเป็นในสถานะต่อไปนี้อย่างใดอย่างหนึ่ง: