数据的逻辑独立性是通过（）保证的。