Package edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain

Class TGD

java.lang.Object

edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain.Dependency

edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain.TGD

public class TGD
extends Dependency

Tuple-Generating Dependency

Constructor Summary

Constructors

Constructor	Description
TGD(List<Literal> body, List<Atom> head)

Method Summary

Modifier and Type	Method	Description
<T> T	accept(DependencySchemaVisitor<T> visitor)
Set<Variable>	getExistentialVariables()
Set<Variable>	getFrontierVariables()
ImmutableAtomList	getHead()
boolean	isGuarded()
boolean	isLinear()
String	toString()

Methods inherited from class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain.Dependency

containsBuiltInOrNegatedLiteralInBody, getBody, getUniversalVariables

Methods inherited from class java.lang.Object

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

Constructor Details

TGD

public TGD(List<Literal> body,
 List<Atom> head)

Method Details

getExistentialVariables

public Set<Variable> getExistentialVariables()

getHead

public ImmutableAtomList getHead()

getFrontierVariables

public Set<Variable> getFrontierVariables()

Returns:

those variables that appear both, in the head and the body of the TGD

isLinear

public boolean isLinear()

isGuarded

public boolean isGuarded()

accept

public <T> T accept(DependencySchemaVisitor<T> visitor)

Specified by:

accept in class Dependency

toString

public String toString()

Overrides:

toString in class Object