Checking topological integrity constraints imposed on objects in real-time databases | IEEE Conference Publication | IEEE Xplore