oracle exists原理