|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectmln.ConjunctiveQuery
public class ConjunctiveQuery
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 |
---|
public ConjunctiveQuery()
Method Detail |
---|
public void addBodyLit(Literal lit)
lit
- public void addConstraint(Expression e)
e
- A bool expression that must be TRUE.public void materialize(RDB db, java.lang.Boolean truth)
db
- the DB connectiontruth
- the truth value for the newly materialized tuples (of the head predicate)public void setHead(Literal lit)
lit
- public java.lang.String toString()
toString
in class java.lang.Object
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |