TY - RPRT TI - On the difference between checking integrity constraints before or after updates AU - Davide Martinenghi PY - 2013 UR - https://arxiv.org/abs/1312.2353 ID - 1312.2353 ER -