Querying Inductive Databases: A Case Study on the MINE RULE Operator