Abstract: We establish a reduction calculus based on set terms and make a discussion on how to store setterms in deductive database. In the end, we propose a technique of rewriting EDB set table in compiling time sothat the matching of set terms can be performed by ordinary matching alogrithms.