Uses of Class
edu.harvard.seas.pl.abcdatalog.engine.topdown.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
Modifier and TypeClassDescriptionclass
A supplementary relation used in QSQ evaluation.Modifier and TypeFieldDescriptionprotected final Map
<PredicateSym, Relation> AbstractQsqEngine.edbRelations
EDB facts mapped by predicate symbol.Modifier 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.Modifier 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.