@inproceedings{DerivationOfConstraint, title = "Derivation of Constraints and Database Relations", author = "D.A.Cohen and M.Gyssens and P.G.Jeavons", year = "1996", booktitle = "Proceedings of the 2nd International Conference on Principles and Practice of Constraint Programming (CP96)", pages = "134--148", series = "Lecture Notes in Computer Science", url = "ftp://ftp.cs.rhul.ac.uk/pub/constraints/derivation.ps", volume = "1118", doi = "10.1007/3-540-61551-2_71", }