Uses of Package
edu.harvard.seas.pl.abcdatalog.engine.topdown

Packages that use edu.harvard.seas.pl.abcdatalog.engine.topdown

Package	Description
edu.harvard.seas.pl.abcdatalog.engine.topdown	This package contains implementations of standard top-down Datalog evaluation algorithms.

Classes in edu.harvard.seas.pl.abcdatalog.engine.topdown used by edu.harvard.seas.pl.abcdatalog.engine.topdown

Class	Description
AbstractQsqEngine	A Datalog engine that uses a variant of the query-subquery evaluation method.
AdornedAtom	An adorned atom (i.e., an atom where every argument is marked as either bound or free).
AdornedClause	An adorned clause (i.e., a Horn clause where every atom is itself adorned).
AdornedPredicateSym	An adorned predicate symbol.
QsqSupRelation	A supplementary relation used in QSQ evaluation.
Relation	A relation, i.e., a set of tuples of a fixed arity with an associated attribute schema of the same arity.
TermSchema	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).
Tuple	A tuple of terms, i.e., an ordered list of fixed arity.