Name
Abstract | ||
|---|---|---|
Key and referential constraints play an important role in enforcing data integrity in database applications. Our study of database applications reveals that there are common patterns of database operations when implementing key and referential constraints enforcement. However, these patterns are not well documented and usually are hidden knowledge of developers. With the hypothesis that the patterns in database applications embody latent programming rules that developers commonly use, this paper presents an approach to mine these patterns by extracting from source code frequently appearing database operations and program constructs as partial order sets. Frequent patterns are then mined from the extracted partial order sets. Any deviation from these common patterns signals potential faults in the enforcement of key and referential constraints. Our experience of applying the approach on three industrial systems has shown that the extracted patterns are useful in assisting the verification of key and referential constraints enforcement. |
Year | DOI | Venue |
|---|---|---|
2014 | 10.1145/2554850.2554919 | SAC |
Keywords | Field | DocType |
experimentation,frequent partial order,verification,database programs,exception handling,constraints enforcement,management,key and referential constraints,reliability,distribution, maintenance, and enhancement | Information retrieval,Industrial systems,Source code,Computer science,Exception handling,Data integrity,Enforcement,Referential integrity,Database | Conference |
Citations | PageRank | References |
0 | 0.34 | 13 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Kaiping Liu | 1 | 13 | 5.33 |
| Hee Beng Kuan Tan | 2 | 489 | 45.05 |
| Hongyu Zhang | 3 | 251 | 26.39 |