mln
Class ConjunctiveQuery

java.lang.Object
  extended by mln.ConjunctiveQuery

public class ConjunctiveQuery
extends java.lang.Object

A conjunctive query. Used by Datalog and scoping rules.


Constructor Summary
ConjunctiveQuery()
           
 
Method Summary
 void addBodyLit(Literal lit)
          Add a body literal.
 void addConstraint(Expression e)
          Add a constraint that must hold.
 void materialize(RDB db, java.lang.Boolean truth)
          Execute this conjunctive query.
 void setHead(Literal lit)
          Set the head of this query.
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

ConjunctiveQuery

public ConjunctiveQuery()
Method Detail

addBodyLit

public void addBodyLit(Literal lit)
Add a body literal.

Parameters:
lit -

addConstraint

public void addConstraint(Expression e)
Add a constraint that must hold.

Parameters:
e - A bool expression that must be TRUE.

materialize

public void materialize(RDB db,
                        java.lang.Boolean truth)
Execute this conjunctive query.

Parameters:
db - the DB connection
truth - the truth value for the newly materialized tuples (of the head predicate)

setHead

public void setHead(Literal lit)
Set the head of this query.

Parameters:
lit -

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object