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

Class DatalogPlusMinusAnalyzer

java.lang.Object

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

public class DatalogPlusMinusAnalyzer
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static enum	DatalogPlusMinusAnalyzer.DatalogPlusMinusLanguage

Constructor Summary

Constructors

Constructor	Description
DatalogPlusMinusAnalyzer()

Method Summary

Modifier and Type	Method	Description
boolean	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
Set<DatalogPlusMinusAnalyzer.DatalogPlusMinusLanguage>	getDatalogPlusMinusLanguages(DependencySchema dependencySchema)

Methods inherited from class java.lang.Object

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

Constructor Details

DatalogPlusMinusAnalyzer

public DatalogPlusMinusAnalyzer()

Method Details

areEGDsNonConflictingWithTGDs

public boolean 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

Parameters:

schema - not null

Returns:

whether the egds of this schema are non-conflicting with the TGDs

getDatalogPlusMinusLanguages

public Set<DatalogPlusMinusAnalyzer.DatalogPlusMinusLanguage> getDatalogPlusMinusLanguages(DependencySchema dependencySchema)