There are and they cost upwards of £20,000 a year for a license. There’s a reason why smaller delivery companies get the address wrong and that is probably part of the issue.

One such database is https://www.royalmail.com/find-a-postcode