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

Class StickyMarkingAnalyzer

java.lang.Object

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

public class StickyMarkingAnalyzer
extends Object

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"

Method Summary

Modifier and Type	Method	Description
static Set<LiteralPosition>	getStickyMarking(List<TGD> tgds)

Methods inherited from class java.lang.Object

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

Method Details

getStickyMarking

public static Set<LiteralPosition> getStickyMarking(List<TGD> tgds)

Parameters:

tgds - not null, might be empty

Returns:

the set of marked LiteralPositions according to the stickiness marking