Allen Van Gelder ACM SIGMOD Conference 1986 15 2 155 165 We formulate the problem of query evaluation over a relational database (EDB) supplemented by function-free Horn clause rules (IDB) as a system of cooperating processes communicating by message passing. Shared memory is not required, making this approach