@misc{indiciae5490de463265, title = {On the difference between checking integrity constraints before or after updates}, author = {Davide Martinenghi}, year = {2013}, url = {https://arxiv.org/abs/1312.2353}, note = {Source identifier: 1312.2353} }