I databaseteori er en en full begrensning mellom to datamengder med attributter i en relasjon.