This report discusses a methodology for increasing the efficiency and decreasing the cost of vitrifying high-level waste (HLW) by optimizing HLW glass formulation. This methodology involves collecting and generating a property-composition database (for glass properties that determine HLW glass processability and acceptability) and relating these properties to glass composition. The report explains how the property-composition models are developed, fitted to data, used for glass formulation optimization, and continuously updated in response to changes in HLW composition estimates and changes in glass processing technology. Further, the report describes a waste-glass property-composition database compiled from literature sources, and presents the results from a critical evaluation and screening of the data for applicability to Hanford. Finally the report provides interim propertycomposition models for melt viscosity, liquidus temperature (with spinel and zircon primary crystalline phases), and Product Consistency Test normalized releases of B, Na, and Li. Models were fitted to a subset of the database deemed most relevant for the current Hanford HLW composition region.