Denotational Semantics of the XML-λ Query Language

被引：0
|
作者：
Loupal, Pavel [1 ]
Richta, Karel [2 ]
机构：
[1] FEL CVUT, Dept Comp Sci & Engn, Karlovo 13, Prague 12135 2, Czech Republic
[2] MFF UK, Dept Software Engn, Prague 11800 1, Czech Republic
来源：
PROCEEDINGS OF THE DATESO 2010 WORKSHOP - DATESO DATABASES, TEXTS, SPECIFICATIONS, AND OBJECTS | 2010年 / 567卷
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this paper, we define formally the XML-lambda Query Language, a query language for XML, that employs the functional data model. We describe its fundamental principles including the abstract syntax and denotational semantics. The paper basically aims for outlining of the language scope and capabilities.
引用
收藏
页码：139 / 146
页数：8
相关论文
共 50 条
  • [1] On denotational semantics of the complex event query language STeCEQL
    [J]. Li, Huiyong, 1600, Transport and Telecommunication Institute, Lomonosova street 1, Riga, LV-1019, Latvia (18):
  • [2] DENOTATIONAL SEMANTICS OF QUERY LANGUAGES
    SUBIETA, K
    [J]. INFORMATION SYSTEMS, 1987, 12 (01) : 69 - 82
  • [3] The XML query language Xcerpt: Design principles, examples, and semantics
    Bry, F
    Schaffert, S
    [J]. WEB, WEB-SERVICES, AND DATABASE SYSTEMS, 2003, 2593 : 295 - 310
  • [4] An Intrinsic Denotational Semantics for a Lazy Functional Language
    Rodriguez, Leonardo
    [J]. PROGRAMMING LANGUAGES, SBLP 2015, 2015, 9325 : 75 - 80
  • [5] A query language for XML
    Deutsch, A
    Fernandez, M
    Florescu, D
    Levy, A
    Suciu, D
    [J]. COMPUTER NETWORKS-THE INTERNATIONAL JOURNAL OF COMPUTER AND TELECOMMUNICATIONS NETWORKING, 1999, 31 (11-16): : 1155 - 1169
  • [6] A query language for XML
    Deutsch, A
    Fernandez, M
    Florescu, D
    Levy, A
    Suciu, D
    [J]. PROCEEDINGS OF THE EIGHTH INTERNATIONAL WORLD WIDE WEB CONFERENCE, 1999, : 77 - 91
  • [7] Semantics-Preserving XML Query
    Song, Jiehu
    Lin, Zuoquan
    [J]. 2020 5TH INTERNATIONAL CONFERENCE ON MATHEMATICS AND ARTIFICIAL INTELLIGENCE (ICMAI 2020), 2020, : 85 - 92
  • [8] Probabilistic Denotational Semantics for an Interrupt Modelling Language
    Huang, Yanhong
    Zhao, Yongxin
    Qin, Shengchao
    He, Jifeng
    [J]. 2015 20TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2015, : 160 - 169
  • [9] A Denotational Semantics of Concepts in ODP Information Language
    Laassiri, Jalal
    Balouki, Youssef
    Belhaj, Hafid
    El Hajji, Said
    Bouhdadi, Mohamed
    [J]. WORLD CONGRESS ON ENGINEERING 2009, VOLS I AND II, 2009, : 486 - 492
  • [10] A denotational semantics of a concatenative/compositional programming language
    Mihelic, Jurij
    Steingartner, William
    Novitzka, Valerie
    [J]. ACTA POLYTECHNICA HUNGARICA, 2021, 18 (04) : 231 - 250
12345