Transformation of dynamic integrity constraints into transaction specifications
scientific article; zbMATH DE number 4151815
scientific article