java.lang.Object
edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain.DependencySchema

public class DependencySchema extends Object
A dependency schema bounds several predicates and dependencies together guaranteeing their consistency.
  • Constructor Details

  • Method Details

    • getAllPredicates

      public Set<Predicate> getAllPredicates()
    • getPredicateByName

      public Predicate getPredicateByName(String predicateName)
    • getDerivationRulesByPredicateName

      public List<DerivationRule> getDerivationRulesByPredicateName(String derivedPredicateName)
    • getAllDependencies

      public Set<Dependency> getAllDependencies()
    • getAllTGDs

      public List<TGD> getAllTGDs()
    • getAllEGDs

      public List<EGD> getAllEGDs()
    • accept

      public <T> T accept(DependencySchemaVisitor<T> visitor)
    • isEmpty

      public boolean isEmpty()