Abstract:Model completeness is an important characteristic by which the description power of data model is measured. In this paper, a functional data model FM and query language FQL has been introduced. A new conception on model implication and completeness has been defined. According to some characteristics (such as implication, completeness, etc.) on relational model, the completeness of FM has been discussed lastly.