70、网络信息查询与远程学习框架的技术解析

网络信息查询与远程学习框架的技术解析

1. 数据库查询定理与结果呈现

在数据库查询领域，存在这样一个定理：设 S 为数据库模式，其中类的类型为有理树类型，设 S′ 为使用 URL 类型但不使用有理树类型的等效模式。那么，对 S′ 进行代数查询（模式为 create - facily）的结果，是对 S 应用相同查询结果的基于 URL 的表示，反之亦然。

对于查询结果的呈现，由于媒体对象完全抽象了呈现问题，所以需要明确如何展示查询结果。这里采用了容器隐喻的方法，其基本思想是将选定的信息进行包装，装入通用容器，传输给用户，再借助浏览器进行卸载。

容器的设计受到多种因素影响，具体如下：
- 设备因素 ：设备大小有不同的规模，如微小（如 WAP 手机）、小（如可视图文屏幕）、正常、大以及巨大（不同类型的屏幕），并非所有尺寸都需要支持。
- 技术限制 ：可能存在无法呈现图像、视频/音频信息，或者受限于通道带宽（如移动设备）等问题。

容器的内容可以用内容数据类型来描述，实际内容必须符合该类型，即必须是其超类型。同时，内容数据类型还需搭配符合技术限制的呈现布局，该布局可通过参数化的 HTML 文档实现。一个容器有名称 C，由内容 cont(C) 和呈现布局 lay(C) 组成。

媒体对象装入容器的过程如下：
- 可装载性判断 ：媒体对象 (u, (M1 : v1, …, Mk : vk)) 能装入容器 C 的条件是，至少有一个 i 使得内容数据类型 cont(Mi) 是 cont(C) 的超类型。
- <