Oriol Hilari, Xavier (Date of defense: 2017-07-11)
Ensuring the data correctness of some information system is a crucial task. So, software engineers specify sets of integrity constraints that should be satisfied by the system's data. These constraints, ...