| Class | Description |
|---|---|
| BasicLinearInclusionDependenciesImpl<P extends AtomPredicate> | |
| DBLinearInclusionDependenciesImpl | |
| FullLinearInclusionDependenciesImpl<P extends AtomPredicate> |
Full linear inclusion dependencies, which contain no existentially quantified variables
|
| FullLinearInclusionDependenciesImpl.Builder<P extends AtomPredicate> | |
| ImmutableCQContainmentCheckUnderLIDs<P extends AtomPredicate> | |
| ImmutableCQSyntacticContainmentCheck<P extends AtomPredicate> | |
| LinearInclusionDependenciesImpl<P extends AtomPredicate> | |
| LinearInclusionDependenciesImpl.Builder<P extends AtomPredicate> | |
| LinearInclusionDependenciesImpl.LinearInclusionDependency<P extends AtomPredicate> |
Copyright © 2009–2020 Free University of Bozen-Bolzano. All rights reserved.