许可证以链表形式保存在许可池外延库poolEDB中，由结 构谓词lic（D，A）更新，更新语义采用强更新（strong updates）田 语义。
基于8个网页-相关网页
更新语义采用强更新
Strong update is adopted to update the semantics
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动