行人横过马路时，（）

A、不能闯红灯，绿灯亮时在斑马线通过

B、可以不走斑马线

C、在绿灯亮之前抓紧通过

数据独立性分为逻辑独立性与物理独立性。当数据的存储结构改变时，其逻辑结构可以不变，因此，基于逻辑结构的应用程序不必修改，称为______。