it.unibz.inf.ontop.datalog.impl

Class DistinctLifter

java.lang.Object

it.unibz.inf.ontop.datalog.impl.DistinctLifter

public class DistinctLifter
extends Object

Lifts DISTINCT nodes above the highest construction node, as required by our Datalog data structure

TEMPORARY CODE (quickly implemented, does not cover all possible lift opportunities (e.g. injective functions))

Method Summary

Modifier and Type	Method and Description
IQTree	liftDistinct(IQTree iqTree)

Methods inherited from class java.lang.Object

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

Method Detail

liftDistinct

public IQTree liftDistinct(IQTree iqTree)