Uses of Class
edu.harvard.seas.pl.abcdatalog.engine.topdown.Relation
Packages that use Relation
Package
Description
This package contains implementations of standard top-down Datalog evaluation algorithms.
-
Uses of Relation in edu.harvard.seas.pl.abcdatalog.engine.topdown
Subclasses of Relation in edu.harvard.seas.pl.abcdatalog.engine.topdownModifier and TypeClassDescriptionclass
A supplementary relation used in QSQ evaluation.Fields in edu.harvard.seas.pl.abcdatalog.engine.topdown with type parameters of type RelationModifier and TypeFieldDescriptionprotected final Map
<PredicateSym, Relation> AbstractQsqEngine.edbRelations
EDB facts mapped by predicate symbol.Methods in edu.harvard.seas.pl.abcdatalog.engine.topdown that return RelationModifier and TypeMethodDescriptionRelation.applyTuplesAsSubstitutions
(Tuple x) For each tuple t in this relation, creates a substitution by mapping each attribute in the schema to the corresponding element in t, and then creates a new relation by applying each substitution to the input tuple x.Returns a new relation consisting of those tuples that meet the supplied predicate.Relation.joinAndProject
(Relation other, TermSchema schema) Creates a new relation by joining this relation with the other relation and projecting onto the supplied attribute schema.Creates a new relation that results from the projection of this relation.Methods in edu.harvard.seas.pl.abcdatalog.engine.topdown with parameters of type RelationModifier and TypeMethodDescriptionboolean
Add all the tuples of another relation to this relation.Relation.joinAndProject
(Relation other, TermSchema schema) Creates a new relation by joining this relation with the other relation and projecting onto the supplied attribute schema.boolean
Remove all the tuples in other relation from this relation.Constructors in edu.harvard.seas.pl.abcdatalog.engine.topdown with parameters of type Relation