Verification of Evolving Graph-structured Data under Expressive Path Constraints

摘要

Integrity constraints play a central role in databases and, among other applications, are fundamental for preserving data integrity when databases evolve as a result of operations manipulating the data. In this context, an important task is that of static