Biskup, et al.. Signature-based Inference-usability Confinement for Relational Databases Under Functional and Join Dependencies. Springer Berlin Heidelberg, 2012, doi:10.1007/978-3-642-31540-4_5.