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

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

Related Packages

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

Class	Description
DatalogPlusMinusAnalyzer
DatalogPlusMinusAnalyzer.DatalogPlusMinusLanguage
DatalogPlusMinusLanguageChecker
GuardedChecker
LinearChecker
StickyChecker
StickyMarkingAnalyzer	This class is the responsible to make the marking of literal positions of the TGDs according to the 2010 25th Annual IEEE Symposium on Logic in Computer Science paper "Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications"
WeaklyGuardedChecker