Specification and Verification for Semi-Structured Data

被引：0
|
作者：
CHEN Tao-lue
机构：
来源：
WuhanUniversityJournalofNaturalSciences | 2006年 / 01期
关键词：
semi-structured data; tree logic; fixpoint; model checking algorithm;
D O I：
暂无
中图分类号：
TP312.2 [];
学科分类号：
081202 ; 0835 ;
摘要：
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 clearly 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.
引用
收藏
页码：107 / 112
页数：6
相关论文
共 50 条
  • [41] Data Warehouse Based Approach to the Integration of Semi-structured Data
    Ahmad, Houda
    Kermanshahani, Shokoh
    Simonet, Ana
    Simonet, Michel
    ADVANCES IN WEB AND NETWORK TECHNOLOGIES, AND INFORMATION MANAGEMENT, 2009, 5731 : 88 - 99
  • [42] A view-based approach to the integration of structured and semi-structured data
    Ahmad, Honda
    Kermanshahani, Shokooh
    Simonet, Ana
    Simonet, Michel
    DATABASES AND INFORMATION SYSTEMS: COMMUNICATIONS, MATERIALS OF DOCTORAL CONSORTIUM, 2006, : 41 - 51
  • [43] Representation of semi-structured imprecise data for fuzzy querying
    Buche, P
    Haemmerlé, O
    Thomopoulos, R
    JOINT 9TH IFSA WORLD CONGRESS AND 20TH NAFIPS INTERNATIONAL CONFERENCE, PROCEEDINGS, VOLS. 1-5, 2001, : 2126 - 2131
  • [44] Conceptual Graphs Based Modeling of Semi-structured Data
    Varga, Viorica
    Sacarea, Christian
    Molnar, Andrea Eva
    GRAPH-BASED REPRESENTATION AND REASONING (ICCS 2018), 2018, 10872 : 167 - 175
  • [45] WebDB: a system for querying semi-structured data on the Web
    Li, WS
    Shim, J
    Candan, KS
    JOURNAL OF VISUAL LANGUAGES AND COMPUTING, 2002, 13 (01): : 3 - 33
  • [46] Methods to Access Structured and Semi-Structured Data in Bioinformatics Databases: A Perspective
    Moftah, Raja A.
    Maatuk, Abdelsalam M.
    White, Richard
    2016 INTERNATIONAL CONFERENCE ON ENGINEERING & MIS (ICEMIS), 2016,
  • [47] A tree-structured query interface for querying semi-structured data
    Newman, S
    Özsoyoglu, ZM
    16TH INTERNATIONAL CONFERENCE ON SCIENTIFIC AND STATISTICAL DATABASE MANAGEMENT, PROCEEDINGS, 2004, : 127 - 130
  • [48] Research on the Data Model and the Approaches to Data Mining in the Semi-structured Data
    Liu, Fenghua
    APPLIED SCIENCE, MATERIALS SCIENCE AND INFORMATION TECHNOLOGIES IN INDUSTRY, 2014, 513-517 : 663 - 666
  • [49] A Methodology to Manage Structured and Semi-structured Data in Knowledge Oriented Graph
    Bellandi, Valerio
    Ceravolo, Paolo
    D'Andrea, Giacomo Alberto
    Maghool, Samira
    Siccardi, Stefano
    ENGINEERING APPLICATIONS OF NEURAL NETWORKS, EAAAI/EANN 2022, 2022, 1600 : 215 - 222
  • [50] Analyzing semi-structured data for ontological information extraction
    Han, H
    Elmasri, R
    IC'2001: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON INTERNET COMPUTING, VOLS I AND II, 2001, : 21 - 27
12345