Uses of Interface
edu.harvard.seas.pl.abcdatalog.engine.DatalogEngine

Packages that use DatalogEngine

Package	Description
edu.harvard.seas.pl.abcdatalog.engine	This package contains the standard interface for a Datalog engine (see DatalogExecutor for an alternative interface).
edu.harvard.seas.pl.abcdatalog.engine.bottomup	This package contains classes and interfaces that are used in all of the bottom-up engines.
edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent	This package contains multi-threaded bottom-up Datalog evaluation engines.
edu.harvard.seas.pl.abcdatalog.engine.bottomup.sequential	This package contains single-threaded bottom-up Datalog evaluation engines.
edu.harvard.seas.pl.abcdatalog.engine.topdown	This package contains implementations of standard top-down Datalog evaluation algorithms.

Uses of DatalogEngine in edu.harvard.seas.pl.abcdatalog.engine

Subinterfaces of DatalogEngine in edu.harvard.seas.pl.abcdatalog.engine

Modifier and Type	Interface	Description
interface	DatalogEngineWithProvenance	A Datalog evaluation engine that retains fact provenance.

Methods in edu.harvard.seas.pl.abcdatalog.engine with parameters of type DatalogEngine

Modifier and Type	Method	Description
static Set<ConstOnlySubstitution>	ConjunctiveQueryHelper.query(DatalogEngine engine, List<PositiveAtom> query)

Uses of DatalogEngine in edu.harvard.seas.pl.abcdatalog.engine.bottomup

Classes in edu.harvard.seas.pl.abcdatalog.engine.bottomup that implement DatalogEngine

Modifier and Type	Class	Description
class	BottomUpEngineFrame<E extends EvalManager>	A framework for a bottom-up Datalog engine.
class	BottomUpEngineFrameWithProvenance

Uses of DatalogEngine in edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent

Classes in edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent that implement DatalogEngine

Modifier and Type	Class	Description
class	ConcurrentBottomUpEngine	A concurrent bottom-up Datalog engine that employs a saturation algorithm similar to semi-naive evaluation.
class	ConcurrentChunkedBottomUpEngine	A concurrent bottom-up Datalog engine that employs a saturation algorithm similar to semi-naive evaluation.
class	ConcurrentStratifiedNegationBottomUpEngine	This class implements an experimental multi-threaded Datalog evaluation algorithm that supports explicit unification and stratified negation.

Uses of DatalogEngine in edu.harvard.seas.pl.abcdatalog.engine.bottomup.sequential

Classes in edu.harvard.seas.pl.abcdatalog.engine.bottomup.sequential that implement DatalogEngine

Modifier and Type	Class	Description
class	SemiNaiveEngine	A Datalog engine that implements the classic semi-naive bottom-up evaluation algorithm.

Methods in edu.harvard.seas.pl.abcdatalog.engine.bottomup.sequential that return DatalogEngine

Modifier and Type	Method	Description
static DatalogEngine	SemiNaiveEngine.newEngine()

Uses of DatalogEngine in edu.harvard.seas.pl.abcdatalog.engine.topdown

Classes in edu.harvard.seas.pl.abcdatalog.engine.topdown that implement DatalogEngine

Modifier and Type	Class	Description
class	AbstractQsqEngine	A Datalog engine that uses a variant of the query-subquery evaluation method.
class	IterativeQsqEngine	A Datalog evaluation engine that uses an iterative version of the query-subquery top-down technique.
class	MstEngine	A Datalog evaluation engine that uses the magic set transformation technique.
class	RecursiveQsqEngine	A Datalog evaluation engine that uses a recursive version of the query-subquery top-down technique.