Class ParameterNullnessPropertyDatabase