Petri nets: an introduction
Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
The theory of joins in relational databases
ACM Transactions on Database Systems (TODS)
The entity-relationship model—toward a unified view of data
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
A relational model of data for large shared data banks
Communications of the ACM
Database System Concepts
Transaction Processing: Concepts and Techniques
Transaction Processing: Concepts and Techniques
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Depth boundedness in multiset rewriting systems with name binding
RP'10 Proceedings of the 4th international conference on Reachability problems
Multiset rewriting for the verification of depth-bounded processes with name binding
Information and Computation
System integration by developing adapters using a database abstraction
Information and Software Technology
Hi-index | 0.00 |
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.