Any algorithm for bottom-up evaluation of a Datalog program computes the facts of the minimal model in some such sequence. The specific order of the facts can be very different, though, which also influences how long intermediate facts must be stored.
We show how the standard techniques for Datalog can be extended to provide a bottom-up evaluation mechanism for DataHiLog, and consider whether Datalog ...
DataHiLog. In this paper, we develop a bottom-up evaluation procedure for DataHiLog. Using the additional relational algebra operators defined in [14], this ...
Bottom-Up Evaluation of Datalog: Preliminary Report. Our plan is to translate Datalog to C++, and to generate executable code from the resulting program.
Missing: DataHiLog. | Show results with:DataHiLog.
Aug 9, 2023 · We show how the standard techniques for Datalog can be extended to provide a bottom-up evaluation mechanism for DataHiLog, and consider whether ...
Then, we can see how each step of semi-naive evaluation is mirrored by at least one step of the top-down algorithm. The following algorithm modifies a datalog ...
Missing: DataHiLog. | Show results with:DataHiLog.
People also ask
What is top down vs bottom up evaluation?
What is bottom up evaluation of S attribute definitions?
Precise complexity analysis for efficient datalog queries Given a set of Datalog rules, facts, and a query, answers to the query can be inferred bottom-up ...
Missing: DataHiLog. | Show results with:DataHiLog.
As seen in section 2, bottom-up evaluation of Datalog programs with integers is useful for proving the termination of logic programs. The Datalog programs ...
Missing: DataHiLog. | Show results with:DataHiLog.
We present a bottom-up operational procedure for computing well-founded models of allowed programs with negation. This procedure provides a practical method ...
Missing: DataHiLog. | Show results with:DataHiLog.
We show how the standard techniques for Datalog can be extended to provide a bottom-up evaluation mechanism for DataHiLog, and consider whether Datalog ...