Incorporating functional dependencies in deductive query answering

We present a set-theoretic interpretation of the relational model which allows a semantic approach to query answering. We show that deduction of new tuples from those in the database is possible through set-containment and we give an algorithm for deductive query-answering.