× , join ,.pdfVIP

1000-9825/2002/13(07)1318-06 ©2002 Journal of Software 软 件 学 报 Vol.13, No.7 一种基于模式匹配的超媒体查询模型 1 2 1 1 1 周学海 , 李光亚 , 李 曦 , 龚育昌 , 赵振西 1( 中国科学技术大学 计算机科学与技术系,合肥 安徽 230027); 2(上海万达信息股份有限公司,上海 200233) E-mail: xhzhou@ 摘要: 在基于语义网络的超媒体模型基础上,通过引入数据库模式、模式约束图以及分层模式依赖图等概念,提出 了一种基于模式匹配的超媒体查询模型,给出了图形代数的形式化定义,并证明了该模型的查询能力.该模型具有较 高的表达能力,能有效地降低用户的认知负载. 关 键 词: 超媒体系统;数据库模式;模式约束图; 图形代数;关系完备性 中图法分类号: TP311 文献标识码: A 随着 Internet 网的普及,超媒体网络的搜索和查询问题变得日益突出, 因此,浏览机制和查询机制的有机结 合是目前超媒体技术研究亟待解决的问题[1] .在查询机制方面需解决的关键问题是查询表达能力与查询描述 手段有效性间的权衡问题. 本文在文献[2]所提出的基于语义网络的超媒体模型的基础上,又提出了一种新的超媒体查询模型.为了能 够使用户方便地描述查询请求,我们并没有像文献[3]那样提出一种查询语言,而是通过图形用户界面来表达用 户的所有查询请求.为了有效地提高查询能力,我们提出了模式依赖图的概念,并讨论了基于模式约束图概念的 查询算法.通过给出图形代数的形式化定义,证明了该模型的完备性.最后对相关工作进行了比较分析,并给出 了进一步的研究方向. 1 超媒体数据库模型 [4] Dexter 模型 是在内部成员层存储节点的数据信息,在存储层存储超媒体结构信息,将节点内容与结构信 息划分为模式层与数据库层,其中模式层用类型化的节点与链所组成的有向标号图来表示,而数据库层则包含 不同应用对模式层中相同数据库模式的不同实例.随着超媒体技术在不同应用领域的应用,超媒体系统已经从 单纯的浏览机制发展到表达各个信息系统中信息单元间关系的一种集成机制[5],这要求节点具备一定的语义 信息,链表达信息单元间的语义关系.语义网络是一种灵活的知识描述机制,它与超媒体之间的关系类似[6] .我们 在语义网络的基础上提出了超媒体数据库模型. 定义 1. 一个超媒体数据库模式 S 是一个弱连通有向标号图: S (N , E ,ψ , λ , T , C ) . 其中 S S S S S S N S N Sa ∪N Sp 代表节点集合, N Sa 代表抽象节点, N Sp 代表属性类型节点. ES 代表边集合, ES ESa ∪ESp , E Sa 表示抽象节点间的关系, E 表示抽象节点与其属性类型节点之间的关系.ψ 代表边与节点之间的关联函数, Sp S 收稿日期: 2000-09-20; 修改日期: 2001-04-17 基金项目: 国家自然科学基金资助项目;安徽省自然科学基金资助项目 作者简介: 周学海(1966 －), 男,江苏武进人,博士,教授,主要研究领域为信息系统,计算机体系结构;李光亚(1972 －), 男,安徽无 为人,博士,高级工程师,主要研究领域为数据库系统,软件工程;李曦(1963 －), 男,福建漳州人,副教授,主要研究领域为计算机体系结 构,数据库技术;龚育昌(1943 －), 男,上海人,教授,博士生导师,主要研究领域为数据库技术;赵振西(1937 －), 男, 山东济南人,教授,博士 生导师,主要研究领域为数据库技术. 周学海 等:一种基于模式匹配的超媒体查询模型 1319 即ψ : (E →N