|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
See:
Description
| Interface Summary | |
|---|---|
| IAccessPathExpander<E> | An interface for expander patterns for an IPredicate when it appears
in the right-hand position of a JOIN. |
| IBinding | Interface for a binding. |
| 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). |
| IStarJoin<E> | Deprecated. This is not currently supported. |
| IStarJoin.IStarConstraint<E> | A star constraint specifies the shape of the star join. |
| IStep | An IStep is either a single IRule or a complex
IProgram. |
| Class Summary | |
|---|---|
| Binding | Implementation of a binding. |
| EmptyAccessPathExpander<E> | An "expander" which replaces the access path with an EmptyAccessPath. |
| Program | Mutable program may be used to create a variety of rule executions. |
| QueryOptions | |
| Rule<E> | Default impl. |
| Slice | Default implementation. |
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).
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||