On the discovery of semantically meaningful sql constraints from armstrong samples foundations, implementation, and evaluation