ResPubID13939, relational computation, association rule mining, fixpoint computation, logic-based inductive query language, data mining query language design, inductive database system