de.unidu.is.pdatalog
Class IDBRelation

java.lang.Object
  de.unidu.is.pdatalog.Relation
      de.unidu.is.pdatalog.IDBRelation

public class IDBRelation

extends Relation

A class for pDatalog++ relation derived by rules (corresponding to an intensional predicate).

Since:

2003-10-07

Version:

$Revision: 1.7 $, $Date: 2005/03/14 17:33:13 $

Author:

Henrik Nottelmann

Field Summary

Fields inherited from class de.unidu.is.pdatalog.Relation

arity, base, name

Constructor Summary

IDBRelation(RelationBase base, java.lang.String name, int arity)
Constructs a new relation, and automatically adds it to the relation base.

IDBRelation(RelationBase base, java.lang.String name, int arity, boolean create)
Constructs a new relation, and automatically adds it to the relation base.

Method Summary

void	compute(java.util.Collection rules) Computes the result of the specified rules.
void	compute(Rule rule) Computes the result of the specified rule.
void	computeDisjoint(java.util.Collection rules) Computes the result of the specified rules.

Methods inherited from class de.unidu.is.pdatalog.Relation

getArity, getName, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

IDBRelation

public IDBRelation(RelationBase base,
                   java.lang.String name,
                   int arity)

Constructs a new relation, and automatically adds it to the relation base.

Parameters:

base - corresponding relation base

name - relatio n name

arity - arity of the relation

IDBRelation

public IDBRelation(RelationBase base,
                   java.lang.String name,
                   int arity,
                   boolean create)

Constructs a new relation, and automatically adds it to the relation base.

Parameters:

base - corresponding relation base

name - relatio n name

arity - arity of the relation

create - if true, the relation is physically created

Method Detail

compute

public void compute(Rule rule)

Computes the result of the specified rule.

Parameters:

rule - single rulefor this relation

compute

public void compute(java.util.Collection rules)

Computes the result of the specified rules.

Parameters:

rules - collection of rules for this relation

computeDisjoint

public void computeDisjoint(java.util.Collection rules)

Computes the result of the specified rules. The results from the single rules are considered to be disjoint.

Parameters:

rules - collection of rules for this relation