XML database transformations

zbMATH Open1216.68094MaRDI QIDQ3075232FDOQ3075232

Authors: Klaus-Dieter Schewe, Qing Wang 

Publication date: 10 February 2011

Full work available at URL: http://www.jucs.org/jucs_16_20/xml_database_transformations

Recommendations

• scientific article
• A complete logic for database abstract state machines
• A proof system with bounded non-determinism in database transformations
• Towards a Logic for Abstract MetaFinite State Machines
• Procedural languages for database queries and updates

zbMATH Keywords

monadic second-order logicabstract state machineextensible markup languagetree algebracomputation backgrounddatabase transformation

Mathematics Subject Classification ID

Database theory (68P15) Logic in computer science (03B70)

Cited In (10)

• Distributed Adaptive Systems
• Concurrent abstract state machines
• A new thesis concerning synchronised parallel computing -- simplified parallel ASM thesis
• Systematic Refinement of Abstract State Machines with Higher-Order Logic
• Transaction management in RDBMSs with XML support
• Transformation of XML data using updates without side effects
• Preserving key in XML data transformation
• Towards a Logic for Abstract MetaFinite State Machines
• A Logic for Reflective ASMs
• A proof system with bounded non-determinism in database transformations

This page was built for publication: XML database transformations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3075232)