| Class and Description |
|---|
| StartsWithConstraint |
| Class and Description |
|---|
| Clause
A clause with restrictions derived for the variables
|
| Constraint |
| OpFilterIndexed |
| StartsWithConstraint |
| VariableConstraint
Constraint for a variable.
|
| Class and Description |
|---|
| AbstractIndex |
| Clause
A clause with restrictions derived for the variables
|
| ClauseBase
Dnf, Clauses, and Exprs should be treated as immutable!
|
| Column |
| Constraint |
| Dnf |
| EqualsConstraint |
| ExprIndex
TODO Clarify: Do I want disjunctive or conjunctive normal form?
(a and b) or (c and d) or
(a or b) and(c or d) ?
I guess the former is better, as (a and not a) can be easily detected
What happens if we allow conjunctions of disjunctive normal forms?
((a, b) or (c, d) AND ((x) or (y)))
becomes
(abx or aby or cdx or cdy) (so the cross product of the involved clauses)
Maybe i could do virtual clauses:
CrossJoinClause(Clauses ...)
Hm, but with CNF it is easier to add new expressions.
|
| ExprNormalForm |
| FilterSplit |
| Index |
| IndexCollection |
| IndexMetaNode
Datastructure for metadata about indexes (hierarchical and non-hierarchical).
|
| IsPrefixOfConstraint |
| MetaIndexFactory |
| NestedNormalForm |
| NestedSet
IMPORTANT: If you are working with a child set, then do not modify the parent,
or things might go out of sync.
|
| OpFilterIndexed |
| PrefixIndex |
| StartsWithConstraint |
| Table
A table itself only provides metadata.
|
| TreeIndex |
| VariableConstraint
Constraint for a variable.
|
| Class and Description |
|---|
| Clause
A clause with restrictions derived for the variables
|
| NestedNormalForm |
| Class and Description |
|---|
| Clause
A clause with restrictions derived for the variables
|
| NestedNormalForm |
| Class and Description |
|---|
| Constraint |
| StartsWithConstraint |
| VariableConstraint
Constraint for a variable.
|
| Class and Description |
|---|
| OpExtFilterIndexed |
| OpFilterIndexed |
| Class and Description |
|---|
| Dnf |
| NestedNormalForm |
Copyright © 2014. All Rights Reserved.