Generation of Database Transactions with Petri Nets

• Autorzy: van Hee K.M. , Sidorova N. , Voorhoeve M. , van der Werf J.M.
• Języki publikacji: EN

Abstrakty

EN

Deleting a record from a database table without modifying other records or tables can easily lead to a violation of the database constraints. The same holds for other database operations. In this paper we generate descriptions of transactions triggered by a given operation, guaranteeing that if the database is in a consistent state before a transaction starts, it will be in a consistent state after it is finished. We describe transactions as models of a special subclass of Coloured Petri nets where token values are vectors of identifiers. This class is powerful enough to model transaction execution and it allows for some formal analysis, like soundness.

Słowa kluczowe

EN

Petri nets with identifiers

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2009
• Tom: Vol. 93, nr 1-3
• Strony: 171--184
• Opis fizyczny: Bibliogr. 12 poz., wykr.

Twórcy

autor

van Hee K.M.

autor

Sidorova N.

autor

Voorhoeve M.

autor

van der Werf J.M.

• Department of Mathematics and Computer Science Technische Universiteit Eindhoven P.O. Box 513, 5600 MB Eindhoven, The Netherlands,

Bibliografia

• [1] van der Aalst,W.: Verification ofWorkflow Nets, ICATPN 1997, Springer-Verlag, London, UK, 1997, ISBN 3-540-63139-9.
• [2] Aho, A., Beeri, C., Ullman, J.: The Theory of Joins in Relational Databases, ACM Trans. Database Syst., 4(3), 1979, 297-314.
• [3] Armstrong,W.: Dependency Structures of Data Base Relationships, IFIP Congress, 1974.
• [4] Chen, P.: The Entity-Relationship Model: Towards a unified view of Data, ACM Transactions on Database Systems, 1, Jan 1976, 9-36.
• [5] Codd, E.: A relational model of data for large shared data banks, Communications of the ACM, 13(6), 1970, 377-387.
• [6] Codd, E. F.: Further Normalization of the Data Base Relational Model, IBM Research Report, San Jose, California, RJ909, 1971.
• [7] Gray, J., Reuter, A.: Transaction Processing, concepts and techniques, Morgan Kaufmann, 1993.
• [8] Jensen, K.: Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2, Springer-Verlag, London, UK, 1995, ISBN 3-540-58276-2.
• [9] Reisig, W.: Petri Nets: An Introduction, vol. 4 of Monographs in Theoretical Computer Science: An EATCS Series, Springer-Verlag, Berlin, 1985.
• [10] Rosa-Velardo, F., Frutos-Escrig, D., Marroqu´ın-Alonso, O.: On the expressiveness of Mobile Synchronizing Petri nets, SECCO'05, 180, Elsevier, 2007.
• [11] Rosa-Velardo, F., Marroqu´ın-Alonso, O., Frutos-Escrig, D.: Mobile Synchronizing Petri Nets: a choreographic approach for coordination in Ubiquitous Systems, MTCOORD'05, 150, Elsevier, 2006.
• [12] Silberschatz, A., Korth, H., Sudarshan, S.: Database System Concepts, 5th edition, McGraw Hill, 2006, ISBN 0-07-295886-3.