A Datalog engine that uses a variant of the query-subquery evaluation method.
An adorned atom (i.e., an atom where every argument is marked as either bound or free).
An adorned clause (i.e., a Horn clause where every atom is itself adorned).
An adorned predicate symbol.
A Datalog evaluation engine that uses an iterative version of the query-subquery top-down technique.
A Datalog evaluation engine that uses the magic set transformation technique.
A supplementary relation used in QSQ evaluation.
A template containing the attribute schemata of the supplementary relations for a given rule in QSQ evaluation.
A Datalog evaluation engine that uses a recursive version of the query-subquery top-down technique.
A relation, i.e., a set of tuples of a fixed arity with an associated attribute schema of the same arity.
A list of terms of fixed arity representing the attribute schema for a relation of the same arity (i.e., the 2nd term in the list is the attribute for the 2nd "column" in the relation).
A tuple of terms, i.e., an ordered list of fixed arity.
Copyright © 2021. All rights reserved.