Crossmark

Formal Semantics and Verification of Procedural SQL Programs Implementing Materialized Data Integration

Published Online: 2025-08-21

Published Print: 2025-04

Authors

Stupnikov, S. A.
License Information

Text and Data Mining valid from 2025-04-01

Version of Record valid from 2025-04-01
More Information

Article History

Received: 10 February 2025

Revised: 24 February 2025

Accepted: 10 March 2025

First Online: 21 August 2025

CONFLICT OF INTEREST

: The author of this work declares that he has no conflicts of interest.

Document is current