XML database transformations

MaRDI QIDQ3075232zbMATHFDO

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

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)

Recommendations

• scientific article; zbMATH DE number 5855088
• 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

Cited in

(10)

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

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)