______的目的是分析数据间内在语义关联，在此基础上建立一个数据的抽象模型。

下列程序的运行结果为( )。
群include＜stdio.h＞
void abc(char*str)
int a，b，i，j；
for(i=0；str[i]!=’\0；i++)
if(str[i]!==：’a’)
str[j++]=str[i]；
str[j]=’\0’；
void main()
char str[]="abcdef"；
abc(str)；
printf("str[]=%s"，str)；