期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
Specification and Verification for Semi-Structured Data
1
作者 CHEN Tao-lue HAN Ting-ting LU Jian 《Wuhan University Journal of Natural Sciences》 EI CAS 2006年第1期107-112,共6页
Tree logic, inherited from ambient logic, is introduced as the formal foundation of related programming language and type systems, In this paper, we introduce recursion into such logic system, which can describe the t... Tree logic, inherited from ambient logic, is introduced as the formal foundation of related programming language and type systems, In this paper, we introduce recursion into such logic system, which can describe the tree data more dearly and concisely. By making a distinction between proposition and predicate, a concise semantics interpretation for our modal logic is given. We also develop a model checking algorithm for the logic without △ operator. The correctness of the algorithm is shown. Such work can be seen as the basis of the semi-structured data processing language and more flexible type system. 展开更多
关键词 semi structured data tree logic FIXPOINT model checking algorithm
下载PDF
XML Based Data Cube and X-OLAP
2
作者 王晓玲 董逸生 《Journal of Southeast University(English Edition)》 EI CAS 2001年第2期5-9,共5页
Data warehouse provides storage and management for mass data, but data schema evolves with time on. When data schema is changed, added or deleted, the data in data warehouse must comply with the changed data schema, ... Data warehouse provides storage and management for mass data, but data schema evolves with time on. When data schema is changed, added or deleted, the data in data warehouse must comply with the changed data schema, so data warehouse must be re organized or re constructed, but this process is exhausting and wasteful. In order to cope with these problems, this paper develops an approach to model data cube with XML, which emerges as a universal format for data exchange on the Web and which can make data warehouse flexible and scalable. This paper also extends OLAP algebra for XML based data cube, which is called X OLAP. 展开更多
关键词 data warehouse data cube XML X OLAP semi structured data
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部