| Presentation | 2011-06-17 Database Consistency Evaluation Using CPN Kazuki TANAKA, Yoshiyuki SHINKAWA, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | There are various restrictions on transaction processing in cloud computing environments, which have not been imposed in the traditional ACID transaction processing, and therefore we need the different approach to data integrity and consistency problems. In this approach, we have to make up the rigorous definition of data integrity and consistency, along with their analysis and evaluation method. This paper presents a way to model and analyze the data integrity and consistency problems in transaction processing environments, combining Colored Petri Nets (CPN) and the first order predicate logic. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Database Management System / Transaction Processing / Colored Petri Nets |
| Paper # | SWIM2011-9 |
| Date of Issue |
| Conference Information | |
| Committee | SWIM |
|---|---|
| Conference Date | 2011/6/10(1days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | |
| Vice Chair | |
| Secretary | |
| Assistant | |
| Paper Information | |
| Registration To | Software Interprise Modeling (SWIM) |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Database Consistency Evaluation Using CPN |
| Sub Title (in English) | |
| Keyword(1) | Database Management System |
| Keyword(2) | Transaction Processing |
| Keyword(3) | Colored Petri Nets |
| 1st Author's Name | Kazuki TANAKA |
| 1st Author's Affiliation | Department of Science and Engineering, Ryukoku University() |
| 2nd Author's Name | Yoshiyuki SHINKAWA |
| 2nd Author's Affiliation | Department of Science and Engineering, Ryukoku University |
| Date | 2011-06-17 |
| Paper # | SWIM2011-9 |
| Volume (vol) | vol.111 |
| Number (no) | 86 |
| Page | pp.pp.- |
| #Pages | 6 |
| Date of Issue | |