(第2空)在数椐库设计的需求分析阶段应当形成( )，这些文档可以作为( )阶段的设计依据。