diminutive of the male given name David, also used as a formal given name.