<attribute-name> = <value>
is estimated to have
tuples.
tuples in with an A value of
t[A] for tuple t in
.
tuples in
tuples in total in
if .
This can be substantial, so most systems do this updating during periods of light load on the system.