Patent Document ID: 8769496
Application ID: 12856356
Patent Flag: 1

Claim One:
1. A method of detecting database deadlocks induced by database-centric applications, comprising: retrieving, by a processor, data associated with a plurality of database-centric applications (DCAs) from a database; identifying, by the processor, from the data associated with the plurality of DCAs, first and second structured query language (SQL) statements associated with attributes and tables of the database and first and second transactions each being associated with each of the first and second SQL statements; determining, by the processor, a status for each of a first and second table by: executing, with a first attribute and the first table, the first statement associated with the first transaction; executing, with a second attribute and the second table, the first statement associated with the second transaction; executing, with the second attribute and the second table, the second statement associated with the first transaction; executing, with the first attribute and the first table, the second statement associated with the second transaction; parsing, by the processor, based on the statuses of the first and second tables, the first and second SQL statements and the first and second transactions into syntax trees, the syntax trees identifying a data structure of the first and second SQL statements and the first and second transactions; generating, by the processor, at least one Petri net model based on the syntax trees and a database schema, wherein the first and second SQL statements and the first and second transactions are represented by at least one place and at least one transition in the Petri model, wherein more than one token is used to identify a flow of operations within the at least one SQL statement and the at least one transaction, and wherein each token of the Petri model is assigned equal value; and generating, by the processor, at least one augmented Petri net model based on the at least one Petri net model, the at least one augmented Petri net model utilizing the more than one token to identify a deadlock caused by at least two of the plurality of DCAs associated with the first and second tables, wherein each token of the augmented Petri net model is assigned equal value.