3 citations · 8 across the 3 of their papers we have counts for
1 paper · 1 filter
K. Tuncay Tekle, Yanhong A. Liu
Given a set of Datalog rules, facts, and a query, answers to the query can be inferred bottom-up starting from the facts or top-down starting from the query. For efficiency, top-do…