Query processing in deductive databases and in distributed/parallel databases systems. Course Information: Same as IDS 511. Previously listed as EECS 580. Prerequisite(s): CS 480.