FK, FK-constraint