The theory of abstract data types will provide the key to this problem, by allowing programs to access data by external properties rather than physical implementation.

• 抽象数据类型的理论将会提供这个问题的答案,既允许程序用外部特性而非物理实现来存取数据。