A Theory of Inductive Query Answering

  • Authors:
  • Luc DE RAEDT;Manfred JAEGER;Sau Dan LEE;Heikki MANNILA

  • Affiliations:
  • -;-;-;-

  • Venue:
  • ICDM '02 Proceedings of the 2002 IEEE International Conference on Data Mining
  • Year:
  • 2002

Quantified Score

Hi-index 0.00

Visualization

Abstract

We introduce the boolean inductive query evaluationproblem, which is concerned with answering inductivequeries that are arbitrary boolean expressions over monotonicand anti-monotonic predicates. Secondly, we developa decomposition theory for inductive query evaluation inwhich a boolean query Q is reformulated into k sub-queriesQ_i= Q_A\wedge Q_Mthat are the conjunction of a monotonicand an anti-monotonic predicate. The solution to each sub-querycan be represented using a version space. We investigatehow the number of version spaces k needed to answerthe query can be minimized. Thirdly, for the pattern domainof strings, we show how the version spaces can berepresented using a novel data structure, called the versionspace tree, and can be computed using a variant of the famousApriori algorithm. Finally, we present some experi-mentsthat validate the approach.