Avtomatska kontrola logične konsistence 3D baze mestnega jedra