%0 Journal Article %A T. L. Plotkin %A B. I. Plotkin %A S. Kraus %T Algebraic logic in database state description %J Fundamentalʹnaâ i prikladnaâ matematika %D 1996 %P 875-910 %V 2 %N 3 %I mathdoc %U http://geodesic.mathdoc.fr/item/FPM_1996_2_3_a8/ %G ru %F FPM_1996_2_3_a8