Dynamic invariant detection for relational databases

Cobb, Jake and Jones, James A. and Kapfhammer, Gregory M. and Harrold, Mary Jean
Proceedings of the 9th International Workshop on Dynamic Analysis, 2011


Despite the many automated techniques that benefit from dynamic invariant detection, to date, none are able to capture and detect dynamic invariants at the interface of a program and its databases. This paper presents a dynamic invariant detection method for relational databases and for programs that use relational databases and an implementation of the approach that leverages the Daikon dynamic-invariant engine. The method defines a mapping between relational database elements and Daikon’s notion of program points and variable observations, thus enabling row-level and column-level invariant detection. The paper also presents the results of two empirical evaluations on four fixed data sets and three subject programs. The first study shows that dynamically detecting and inferring invariants in a relational database is feasible and 55% of the invariants produced for each subject are meaningful. The second study reveals that all of these meaningful invariants are schema-enforceable using standards-compliant databases and many can be checked by databases with only limited schema constructs.



Cobb, J., Jones, J. A., Kapfhammer, G. M., & Harrold, M. J. (2011). Dynamic invariant detection for relational databases. Proceedings of the 9th International Workshop on Dynamic Analysis.


Want to cite this paper? Look in the BiBTeX file of gkapfham/research-bibliography for the key "Cobb2011".

Return to the List of Papers

Please support my work!

View the source.