Completeness, Distribution Restrictions, and the Form of Aggregate Functions