（）和数据字典是描述数据系统逻辑模型的有力工具。