Incremental constraint checking for XML documents

被引：0
|
作者：
Abrao, MA [1 ]
Bouchou, B
Ferrari, MH
Laurent, D
Musicante, MA
机构：
[1] Univ Tours, F-37041 Tours, France
[2] Univ Fed Parana, Dept Informat, BR-80060000 Curitiba, Parana, Brazil
来源：
DATABASE AND XML TECHNOLOGIES, PROCEEDINGS | 2004年 / 3186卷
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
We introduce a method for building an XML constraint validator from a given set of schema, key and foreign key constraints. The XML constraint validator obtained by our method is a bottom-up tree transducer that is used not only for checking, in only one pass, the correctness of an XML document but also for incrementally validating updates over this document. In this way, both the verification from scratch and the update verification are based on regular (finite and tree) automata, making the whole process efficient.
引用
收藏
页码：112 / 127
页数：16
相关论文
共 50 条
  • [1] Incremental validation of XML documents
    Papakonstantinou, Y
    Vianu, V
    [J]. DATABASE THEORY ICDT 2003, PROCEEDINGS, 2003, 2572 : 47 - 63
  • [2] Incremental validation of XML documents
    Balmin, A
    Papakonstantinou, Y
    Vianu, V
    [J]. ACM TRANSACTIONS ON DATABASE SYSTEMS, 2004, 29 (04): : 710 - 751
  • [3] Efficient incremental validation of XML documents
    Barbosa, D
    Mendelzon, AO
    Libkin, L
    Mignet, L
    Arenas, M
    [J]. 20TH INTERNATIONAL CONFERENCE ON DATA ENGINEERING, PROCEEDINGS, 2004, : 671 - 682
  • [4] Updates and incremental validation of XML documents
    Bouchou, A
    Alves, MHF
    [J]. DATABASE PROGRAMMING LANGUAGES, 2004, 2921 : 216 - 232
  • [5] Satisfiability of Constraint Specifications on XML Documents
    Navarro, Marisa
    Orejas, Fernando
    Pino, Elvira
    [J]. LOGIC, REWRITING, AND CONCURRENCY, 2015, 9200 : 539 - 561
  • [6] Efficient integrity checking over XML documents
    Braga, Daniele
    Campi, Alessandro
    Martinenghi, Davide
    [J]. CURRENT TRENDS IN DATABASE TECHNOLOGY - EDBT 2006, 2006, 4254 : 206 - 219
  • [7] Optimizing the Execution Time for Checking the Consistency of XML Documents
    Yasser Kotb
    Katsuhiko Gondow
    Takuya Katayama
    [J]. Journal of Intelligent Information Systems, 2004, 22 : 257 - 279
  • [8] Optimizing the execution time for checking the consistency of XML documents
    Kotb, Y
    Gondow, K
    Katayama, T
    [J]. JOURNAL OF INTELLIGENT INFORMATION SYSTEMS, 2004, 22 (03) : 257 - 279
  • [9] Semantic integrity constraint checking for multiple XML databases
    Madiraju, Praveen
    Sunderraman, Rajshekhar
    Navathe, Shamkant B.
    Wang, Haibin
    [J]. JOURNAL OF DATABASE MANAGEMENT, 2006, 17 (04) : 1 - 19
  • [10] Efficient incremental validation of XML documents after composite updates
    Barbosa, Denilson
    Leighton, Gregory
    Smith, Andrew
    [J]. DATABASE AND XML TECHNOLOGIES, PROCEEDINGS, 2006, 4156 : 107 - 121
12345