Package edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers

Class WeaklyGuardedChecker

java.lang.Object

edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.DatalogPlusMinusLanguageChecker

edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.WeaklyGuardedChecker

public class WeaklyGuardedChecker
extends DatalogPlusMinusLanguageChecker

Constructor Summary

Constructors

Constructor	Description
WeaklyGuardedChecker()

Method Summary

Modifier and Type	Method	Description
static Set<PredicatePosition>	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.
DatalogPlusMinusAnalyzer.DatalogPlusMinusLanguage	getDatalogPlusMinusName()
boolean	isWeaklyGuarded(DependencySchema dependencySchema)
boolean	satisfies(DependencySchema dependencySchema)

Methods inherited from class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.DatalogPlusMinusLanguageChecker

someDependencyContainsBuiltInOrNegatedLiteralInBody

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

WeaklyGuardedChecker

public WeaklyGuardedChecker()

Method Details

isWeaklyGuarded

public boolean isWeaklyGuarded(DependencySchema dependencySchema)

satisfies

public boolean satisfies(DependencySchema dependencySchema)

Specified by:

satisfies in class DatalogPlusMinusLanguageChecker

getAffectedPositions

public static Set<PredicatePosition> 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.

Parameters:

dependencySchema -

Returns:

those predicate positions that might contain null values when chasing the schema dependencies.

getDatalogPlusMinusName

public DatalogPlusMinusAnalyzer.DatalogPlusMinusLanguage getDatalogPlusMinusName()

Specified by:

getDatalogPlusMinusName in class DatalogPlusMinusLanguageChecker