XML database transformations

MaRDI QIDQ3075232zbMATH OpenFDO

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

abstract state machinecomputation backgrounddatabase transformationextensible markup languagemonadic second-order logictree algebra

Mathematics Subject Classification ID

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

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)

• Preserving key in XML data transformation
• Concurrent abstract state machines
• A proof system with bounded non-determinism in database transformations
• A new thesis concerning synchronised parallel computing -- simplified parallel ASM thesis
• A Logic for Reflective ASMs
• Towards a Logic for Abstract MetaFinite State Machines
• Distributed Adaptive Systems
• 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

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)