ResPubID21660, ResPubID20893, inductive databases, inductive querying, mining algebra, logic-based paradigm