https://5dok.net/document/q7wx9lwn-ridl-computer-assisted-engineering-databases-presence-integrity-constraints.html