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

Class SingleExistentialVarTGDTransformer

java.lang.Object

edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.processes.SingleExistentialVarTGDTransformer

All Implemented Interfaces:

DependencyProcess

public class SingleExistentialVarTGDTransformer
extends Object
implements DependencyProcess

Constructor Summary

Constructors

Constructor	Description
SingleExistentialVarTGDTransformer()

Method Summary

Modifier and Type	Method	Description
static boolean	containsOneExistentiallyQuantifiedVariable(TGD tgd)
DependencySchema	execute(DependencySchema dependencySchema)	execute the transformation

Methods inherited from class java.lang.Object

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

Constructor Details

SingleExistentialVarTGDTransformer

public SingleExistentialVarTGDTransformer()

Method Details

execute

public DependencySchema execute(DependencySchema dependencySchema)

Description copied from interface: DependencyProcess

execute the transformation

Specified by:

execute in interface DependencyProcess

Parameters:

dependencySchema - , usually not null

Returns:

a new dependencySchema

containsOneExistentiallyQuantifiedVariable

public static boolean containsOneExistentiallyQuantifiedVariable(TGD tgd)