Uses of Class
edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain.DependencySchema

Packages that use DependencySchema

Package	Description
edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain.visitor
edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers
edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.egds
edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation
edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser
edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.printer
edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.processes

Uses of DependencySchema in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain.visitor

Methods in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain.visitor with parameters of type DependencySchema

Modifier and Type	Method	Description
T	DependencySchemaVisitor.visit(DependencySchema dependencySchema)

Uses of DependencySchema in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers

Methods in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers with parameters of type DependencySchema

Modifier and Type	Method	Description
boolean	DatalogPlusMinusAnalyzer.areEGDsNonConflictingWithTGDs(DependencySchema schema)	Method responsible to check if the set of EGDs is non-conflicting from the set of TGDs according to the paper "Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications" published in 2010 25th Annual IEEE Symposium on Logic in Computer Science
static Set<PredicatePosition>	WeaklyGuardedChecker.getAffectedPositions(DependencySchema dependencySchema)	This method implements the affected positions definition given in IEEE Symposion on Logic in Computer Science 2010 "Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications" by Cali, et al.
Set<DatalogPlusMinusAnalyzer.DatalogPlusMinusLanguage>	DatalogPlusMinusAnalyzer.getDatalogPlusMinusLanguages(DependencySchema dependencySchema)
boolean	GuardedChecker.isGuarded(DependencySchema dependencySchema)
boolean	LinearChecker.isLinear(DependencySchema dependencySchema)
boolean	StickyChecker.isSticky(DependencySchema dependencySchema)
boolean	WeaklyGuardedChecker.isWeaklyGuarded(DependencySchema dependencySchema)
abstract boolean	DatalogPlusMinusLanguageChecker.satisfies(DependencySchema dependencySchema)
boolean	GuardedChecker.satisfies(DependencySchema dependencySchema)
boolean	LinearChecker.satisfies(DependencySchema dependencySchema)
boolean	StickyChecker.satisfies(DependencySchema dependencySchema)
boolean	WeaklyGuardedChecker.satisfies(DependencySchema dependencySchema)
protected static boolean	DatalogPlusMinusLanguageChecker.someDependencyContainsBuiltInOrNegatedLiteralInBody(DependencySchema dependencySchema)

Uses of DependencySchema in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.egds

Methods in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.egds with parameters of type DependencySchema

Modifier and Type	Method	Description
boolean	NonConflictingEGDsAnalyzer.areEGDsNonConflictingWithTGDs(DependencySchema dependencySchema)	Method responsible to check if the set of EGDs is non-conflicting

Uses of DependencySchema in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation

Methods in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation that return DependencySchema

Modifier and Type	Method	Description
DependencySchema	DependencySchemaBuilder.build()
static DependencySchema	DependencySchemaFactory.createDependencySchema(DependencySchemaSpec dependencySchemaSpec)
static DependencySchema	DependencySchemaFactory.createDependencySchema(DependencySchemaSpec dependencySchemaSpec, Set<Predicate> relationalSchema)

Uses of DependencySchema in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser

Methods in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser that return DependencySchema

Modifier and Type	Method	Description
DependencySchema	DependencySchemaParser.parse(String schemaString)
DependencySchema	DependencySchemaParser.parse(String schemaString, Set<Predicate> relationalSchema)

Uses of DependencySchema in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.printer

Methods in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.printer with parameters of type DependencySchema

Modifier and Type	Method	Description
String	DependencySchemaPrinter.print(DependencySchema dependencySchema)
String	DependencySchemaPrinter.visit(DependencySchema dependencySchema)

Uses of DependencySchema in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.processes

Methods in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.processes that return DependencySchema

Modifier and Type	Method	Description
DependencySchema	DependencyProcess.execute(DependencySchema dependencySchema)	execute the transformation
DependencySchema	DependencyProcessPipeline.execute(DependencySchema inputDependencySchema)	Executes the pipeline
DependencySchema	SingleExistentialVarTGDTransformer.execute(DependencySchema dependencySchema)
DependencySchema	SingleHeadTGDTransformer.execute(DependencySchema dependencySchema)

Methods in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.processes with parameters of type DependencySchema

Modifier and Type	Method	Description
DependencySchema	DependencyProcess.execute(DependencySchema dependencySchema)	execute the transformation
DependencySchema	DependencyProcessPipeline.execute(DependencySchema inputDependencySchema)	Executes the pipeline
DependencySchema	SingleExistentialVarTGDTransformer.execute(DependencySchema dependencySchema)
DependencySchema	SingleHeadTGDTransformer.execute(DependencySchema dependencySchema)