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