CPN によるデータベース整合性検証

摘要

クラウドコンピューティング環境でのトランザクション処理には，これまでのACID トランザクションにはない様々な制約が存在し，データベース整合性に関して従来と異なるアプローチが求められる．このために整合性に関する厳密な定義と分析手法を確立する必要がある．本論文ではカラーベトリネットと述語論理を組み合わせた，トランザクション処理における整合性問題のモデリングおよび解析を行うための手法を提案する．%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.