Package com.bigdata.relation.rule

This package includes an abstraction layer for rules.

See:
Description

Interface Summary

IBindingSet	Interface for a set of bindings.
IConstant<E>	A constant.
IConstraint	An interface for specifying constraints the allowable states of an IBindingSet.
IPredicate<E>	An immutable constraint on the elements visited using an IAccessPath.
IProgram	A program consists of a set of rules and/or programs.
IQueryOptions	A collection of constraints that may be imposed on an IStep when evaluated as a query.
IRule<E>	Conjunctive query of N IPredicates with optional IConstraints.
ISlice	Indicates the first solution to be returned to the caller (offset) and the #of solutions to be returned (limit).
ISolutionExpander<E>	An interface for expander patterns for an IPredicate when it appears in the right-hand position of a JOIN.
ISortOrder<E>	A variable and an order that will be imposed on the values for that variable.
IStep	An IStep is either a single IRule or a complex IProgram.
IVariable<E>	A variable.
IVariableOrConstant<E>	Abstraction models either a constant or an unbound variable.

Class Summary

ArrayBindingSet	An IBindingSet backed by an dense array (no gaps).
BindingSetSortKeyBuilder	Builds unsigned byte[] sort keys from IBindingSets.
Constant<E>	A constant.
DefaultSolutionExpander	A base class for ISolutionExpander implementations.
EmptyBindingSet	An immutable empty binding set.
EQ	Imposes the constraint x == y.
EQConstant	Imposes the constraint var == constant.
HashBindingSet	IBindingSet backed by a HashMap.
IN<T>	A constraint that a variable may only take on the bindings enumerated by some set.
NE	Imposes the constraint x != y.
NEConstant	Imposes the constraint var != constant.
OR	Imposes the constraint x OR y.
Predicate<E>	A generic implementation of an immutable IPredicate.
Program	Mutable program may be used to create a variety of rule executions.
QueryOptions
Rule<E>	Default impl.
Slice	Default implementation.
SortOrder<E>	Default impl.
Var<E>	A variable.

Package com.bigdata.relation.rule Description

This package includes an abstraction layer for rules. The class of rules is conjunctive query. Negation is not supported, except within constraints. There is support for reading on fused views which can be useful for transaction processing and truth maintenance. The solutions for rules may be read back (query) or written onto a relation (insert or delete).