Applying deductive database technology to network management | ACM SIGCOMM Computer Communication Review | DeepDyve