答辩讲稿

4.类型检查和推导－直观的例子
直观的看： (name, mail*, tel?) <: (name, mail*, tel*) name* mail list* tel <: name* mail list* tel list 但是： name* mail list* option <: name* mail list* tel
21
3.－传统的数据结构定义
Typedef enum {PLUS,MINUS,TIMES} OpKind; Typedef enum {OpKind,ConstKind} ExpKind; Typedef struct streenode{ ExpKind kind; OpKind op; struct streenode *lchild,*rchild; int val; } STreeNode; Typedef STreeNode *TreeRoot;
Phenix Shieh 2
2011-5-4
目录
1. 2. 3. 4. 5.
研究动机 总体设计 XML描述数据结构 类型检查与推导 运行及性能分析
2011-5-4
Phenix Shieh
3
1.研究动机-XML的广泛应用
XML数据
Web数据格式（HTML－>XML）
Web应用程序
企业信息门户，在线产品目录，电子商务，B2B交 易日志，搜索引擎， 数据转换、信息集成
2011-5-4
Phenix Shieh
19
3.-语法转换过程
XQuery XQuery语法树
语法转换 XML表示
Core语法树
2011-5-4 Phenix Shieh 20
3.－传统编译方法
预先定义语法树节点结构 可扩展性差 可阅读性差 基于指针的 调试不方便
2011-5-4
Phenix Shieh
2011-5-4 Phenix Shieh
循环处理 选择过滤
</title> </book> </bib>
12
2.总体设计－FLWR表达式
FOR-LET-WHERE-RETURN = FLWR
FOR/LET
绑定变量,模式匹配
WHERE
过滤选择
RETURN
结果构造
结果XML
2011-5-4 Phenix Shieh 13
xs:anyType
xs:anyElement
xs:anyAttribute
xs:duration xs:datetime xs:time xs:date xs:gYearMonth xs:gYear xs:gMonthDay xs:gDay xs:gMonth xs:QName xs:anyURI xs:double xs:decimal xs:float xs:hexBinary xs:base64Binary xs:boolean xs:integer xs:long xs:int xs:short xs:byte 2011-5-4 Phenix Shieh xs:string xs:normalizedString xs:token xs:language xs:NCName xs:IDREF xs:ID 27
提出XQuery处理器的结构 将XML的优点应用到XQuery的编译中，取 得了较好的效果 提出类型系统中的两个算法:SubType和 inDOM算法
2011-5-4 Phenix Shieh 10
目录
1. 2. 3. 4. 5.
研究动机 总体设计 XML描述数据结构 类型检查与推导 运行及性能分析
2011-5-4 Phenix Shieh 22
3.－XML表示的语法树
for $b in $dot/child::book return <BOOK_RESULT> { $b/child::title} </BOOK_RESULT>
语法树的XML表示
2011-5-4
Phenix Shieh
23
3.－使用XML描述数据结构
2011-5-4 Phenix Shieh 18
3.－一个例子
$book/publisher=“Addison-Wesley”
typeswitch($book/publisher) case xs:anyElement: //比较元素值 case xs:anyAttribute: //比较属性值 case xs:anyNode*: //出错 case xs:anySimpleType: //比较该简单值的字符串值 default: //出错
研究动机 总体设计 XML描述数据结构 类型检查与推导 运行及性能分析
2011-5-4
Phenix Shieh
25
4.类型检查和推导
目的
在XQuery查询执行之前进行类型检查，及时发现错 误 对查询的结果做类型推断 正确的类型:
1+1; <name>Tom</name>=“Tom” 3.14+1;
2011-5-4
Phenix Shieh
29
4.类型检查和推导－难点
实现如上图所示的各种类型规则
运行环境的维护
Regular Expression Types
链接Concatanation:, & 选择Alternation: | ? 重复:* + 括号:()
1. 2. 3.，遗留系统，数据仓库，异构数据 集成
2011-5-4 Phenix Shieh 4
1.－XML的广泛应用
模型API 链接定位 语义网络 语音 数学标记 Semantic Web MathML 过程调用 SOAP XML 资源描述 RDF SMIL P3P DTD Schema XML Digital Signature XSL XSLT CSS SAX 转换显示 多媒体 DOM Xlink XPoint XPath Voice XML PICS 图像
安徽大学
申请硕士学位论文答辩
XML查询语言XQuery的编译实现
答辩人： *** 指导教师： *** 安徽大学计算机学院
2009-12-06
目录
1. 2.
3. 4. 5.
研究动机 总体设计 －XQuery处理器的构造 XML描述数据结构 类型检查与推导 －SubType和inDOM算法 运行及性能分析
4.类型检查和推导－类型规则
类型规则描述“何种表达式”，在 “什么样的环境下”，“具备什 么条件”，可以“得出何种类型 结论”。
2011-5-4
Phenix Shieh
28
4.类型检查与推导－类型规则
staticENV QName => qname StaiticENV . funcTypeENV (qname, n) = qname(Type1 ,..., Typen )returnsType StaticENV Expr1 : Type1 ' <: Type1 StaticENV Exprn : Typen ' <: Typen StaticENV QName( Expr1 ,..., Exprn ) : Type
其地位等同于关系数据库中的SQL语言
SQL对关系模型进行查询 XQuery对XML进行查询
2011-5-4
Phenix Shieh
7
1.研究动机－研究现状
调查方式
GOOGLE搜索引擎 中国期刊网 万方科技数据库
国外现状
许多大的公司，研究机构 演示阶段
国内现状
对XQuery的介绍和讨论层次 未发现实现的报道
错误的类型:
1+”ture”
类型转换(CAST)
2011-5-4 Phenix Shieh 26
4.类型检查和推导－CAST
xs:anyType:*:* xs:anyNode::=xs:anyElement|xs:anyAttribute xs:anyComplexType xs:anyItem::=xs:anyNode|xs:anyAttribute|xs:anySimple xs:anyComplexType::=xs:anyAttribute*,(((xs:anyElement )|xs:string)*|xs:anySimpleType) xs:anyItem xs:anyElement::=element *:* { xs:anyComplexType } xs:anyNode xs:anySimpleType xs:anyAttribute::=attribute *:* { xs:anySimple }
xs:anyType xs:anySimpleType xs:anyComplexType xs:anyElement xs:anyAttribute xs:anyItem xs:anyNode
30
UnTyped推导 2个主要类型关系的判断
子类型关系 值－域关系
2011-5-4 Phenix Shieh
3.总体设计－XQuery处理器的构造
2011-5-4
Phenix Shieh
14
目录
1. 2. 3. 4. 5.
研究动机 总体设计 XML描述数据结构 类型检查与推导 运行及性能分析
2011-5-4
Phenix Shieh
15
3.XML描述数据结构
1. 2. 3. 4.
中间代码的作用 两种语法-XQuery与Core 使用XML描述数据结构 语法转换
2011-5-4
Phenix Shieh
11
2.XQuery语言-Example
Q：找出所有1991年以后Addison-Wesley出 版社所出版书的出版年度和书的标题