Our goal is to generalize the well known bottom-up, set-oriented query evaluation for deductive databases in two aspects: First, we consider arbitrary clauses as rules in the database, not only Horn clauses or clauses with stratified negation. This allows to represent disjunctive information, in the database as well as in answers to queries. We utilize NF2 relations for modelling sets of disjun...
