Formal semantics and verification of procedural SQL programs implementing materialized data integration

DOI10.1134/S1995080225606083MaRDI QIDQ6938459zbMATH OpenFDO

Authors Sergey A. Stupnikov

Publication date 25 August 2025

Published in Lobachevskii Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1134/S1995080225606083

zbMATH Keywords

materialized data integrationprocedural SQLprogram semanticsprogram verification

Mathematics Subject Classification ID

Database theory (68P15) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites work

• A framework for model transformation verification
• Mathematical knowledge representation: semantic models and formalisms
• Ontological approach: knowledge representation and knowledge extraction
• Structural analysis of narratives with the Coq proof assistant
• The B-Book

This page was built for publication: Formal semantics and verification of procedural SQL programs implementing materialized data integration

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