Type-based XML processing in logic programming

被引：0
|
作者：
Coelho, J [1 ]
Florido, M
机构：
[1] Inst Super Engn Porto, Oporto, Portugal
[2] Univ Porto, DCC FC, P-4100 Oporto, Portugal
[3] LIACC, P-4100 Oporto, Portugal
来源：
PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS | 2003年 / 2562卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
In this paper we propose a type-based framework for using logic programming for XML processing. We transform XML documents into terms and DTDs into regular types. We implemented a standard type inference algorithm for logic programs and use the types corresponding to the DTDs as additional type declarations for logic programs for XML processing. Due to the correctness of the type inference this makes it possible to use logic programs as an implicitly typed processing language for XML with static type (in this case DTDs) validation. As far as we know this is the first work adding type validation at compile time to the use of logic programming for XML processing.
引用
收藏
页码：273 / 285
页数：13
相关论文
共 50 条
  • [1] Type-based compression of XML data
    League, Christopher
    Eng, Kenjone
    [J]. DCC 2007: DATA COMPRESSION CONFERENCE, PROCEEDINGS, 2007, : 273 - +
  • [2] Haskell and XML: Generic combinators or type-based translation?
    Wallace, M
    Runciman, C
    [J]. ACM SIGPLAN NOTICES, 1999, 34 (09) : 148 - 159
  • [3] GuideForce: Type-Based Enforcement of Programming Guidelines
    Erbatur, Serdar
    Hofmann, Martin
    [J]. SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM 2015), 2015, 9509 : 75 - 89
  • [4] CLP(Flex): Constraint logic programming applied to XML processing
    Coelho, J
    Florido, M
    [J]. ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2004: COOPLS, DOA, AND ODBASE, PT 2, PROCEEDINGS, 2004, 3291 : 1098 - 1112
  • [5] Type-Based Analysis of PIN Processing APIs
    Centenaro, Matteo
    Focardi, Riccardo
    Luccio, Flaminia L.
    Steel, Graham
    [J]. COMPUTER SECURITY - ESORICS 2009, PROCEEDINGS, 2009, 5789 : 53 - +
  • [6] Type-Based Detection of XML Query-Update Independence
    Bidoit-Tollu, Nicole
    Colazzo, Dario
    Ulliana, Federico
    [J]. PROCEEDINGS OF THE VLDB ENDOWMENT, 2012, 5 (09): : 872 - 883
  • [7] Optimizing XML Querying Using Type-Based Document Projection
    Benzaken, Veronique
    Castagna, Giuseppe
    Colazzo, Dario
    Nguyen, Kim
    [J]. ACM TRANSACTIONS ON DATABASE SYSTEMS, 2013, 38 (01):
  • [8] A Type-Based Approach to Separating Protocol from Application Logic A Case Study in Hybrid Computer Programming
    Hulette, Geoffrey C.
    Sottile, Matthew J.
    Malony, Allen D.
    [J]. EURO-PAR 2012 PARALLEL PROCESSING, 2012, 7484 : 40 - 51
  • [9] Out-of-core functional programming with type-based primitives
    Chuang, TR
    Mu, SC
    [J]. PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, 2000, 1753 : 32 - 46
  • [10] Querying XML documents in logic programming
    Almendros-Jimenez, J. M.
    Becerra-Teron, A.
    Enciso-Banos, F. J.
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2008, 8 : 323 - 361
12345