Package edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent

Class ConcurrentChunkedBottomUpEngine

java.lang.Object

edu.harvard.seas.pl.abcdatalog.engine.bottomup.BottomUpEngineFrame<EvalManager>

edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent.ConcurrentChunkedBottomUpEngine

All Implemented Interfaces:

DatalogEngine

public class ConcurrentChunkedBottomUpEngine
extends BottomUpEngineFrame<EvalManager>

A concurrent bottom-up Datalog engine that employs a saturation algorithm similar to semi-naive evaluation. It supports explicit unification. The client can set the size of the work item (i.e., number of facts that are bundled together during evaluation).

Field Summary

Fields inherited from class edu.harvard.seas.pl.abcdatalog.engine.bottomup.BottomUpEngineFrame

manager

Constructor Summary

Constructors

Constructor	Description
ConcurrentChunkedBottomUpEngine(int chunkSize)

Method Summary

Methods inherited from class edu.harvard.seas.pl.abcdatalog.engine.bottomup.BottomUpEngineFrame

init, query

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface edu.harvard.seas.pl.abcdatalog.engine.DatalogEngine

query

Constructor Details

ConcurrentChunkedBottomUpEngine

public ConcurrentChunkedBottomUpEngine(int chunkSize)