Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Genetic programming: on the programming of computers by means of natural selection
Genetic programming: on the programming of computers by means of natural selection
Principles of Database and Knowledge-Base Systems: Volume II: The New Technologies
Principles of Database and Knowledge-Base Systems: Volume II: The New Technologies
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Artificial Intelligence: A Modern Approach
Artificial Intelligence: A Modern Approach
Logical and Relational Learning: From ILP to MRDM (Cognitive Technologies)
Logical and Relational Learning: From ILP to MRDM (Cognitive Technologies)
Improving the efficiency of inductive logic programming through the use of query packs
Journal of Artificial Intelligence Research
Top-down induction of first-order logical decision trees
Artificial Intelligence
EDBT'06 Proceedings of the 10th international conference on Advances in Database Technology
Learning twig and path queries
Proceedings of the 15th International Conference on Database Theory
Learning queries for relational, semi-structured, and graph databases
Proceedings of the 2013 Sigmod/PODS Ph.D. symposium on PhD symposium
ACM Transactions on Database Systems (TODS) - Invited papers issue
| Hi-index | 0.00 |
We study the problemof inducing relational databases queries expressing quantification. Such queries express interesting multi-relational patterns in a database in a concise manner. Queries on relational databases can be expressed as Datalog programs. Inducing Datalog programs expressing quantification requires both negation and predicate invention. Predicate invention has been studied in the ILP literature. However, we propose a radical new approach to inducing quantification. We express queries in the relational algebra and we perform a heuristic search for the desired expression. A heuristic, which takes the complement operator into account, is proposed. We report some preliminary experimental results of a software prototype implementing our ideas. The results are compared with the results of FOIL and Tilde on the same examples.