| Interface | Description |
|---|---|
| ImmutableCQContainmentCheck<P extends AtomPredicate> |
| Class | Description |
|---|---|
| FullLinearInclusionDependencies<P extends AtomPredicate> |
Full linear inclusion dependencies, which contain no existentially quantified variables
|
| FullLinearInclusionDependencies.Builder<P extends AtomPredicate> | |
| ImmutableCQ<P extends AtomPredicate> | |
| ImmutableHomomorphism | |
| ImmutableHomomorphism.Builder | |
| ImmutableHomomorphismIterator<P extends AtomPredicate> | |
| LinearInclusionDependencies<P extends AtomPredicate> | |
| LinearInclusionDependencies.Builder<P extends AtomPredicate> | |
| LinearInclusionDependencies.LinearInclusionDependency<P extends AtomPredicate> |
Copyright © 2009–2020 Free University of Bozen-Bolzano. All rights reserved.