Computational logic: logic programming and beyond, pt ii vol:2408 pages:526-547
An inductive database allows one to query not only the data but also the patterns of interest. A novel framework, called RDM, for inductive databases is presented. It is grounded in constraint logic programming. RDM provides a small but powerful set of built-in constraints to query patterns. It is also embedded in the programming language Prolog. In this paper, the semantics of RDM is defined and a solver is presented. The resulting query language allows us to declaratively specify the patterns of interest, the solver then takes care of the procedural aspects.