Module com.darkcollective.relix.plan

Package com.darkcollective.relix.plan

Record Class PhysicalNode.ConstructiveCover

java.lang.Object

java.lang.Record

com.darkcollective.relix.plan.PhysicalNode.ConstructiveCover

Record Components:

strength - the covering strength t

factors - physical nodes for the individual factor (leaf) relations; each is executed independently to obtain its domain rows

conjuncts - the selection predicate split into atomic conjuncts; evaluated only when all referenced columns are bound (partial-row oracle)

All Implemented Interfaces:

PhysicalNode

Enclosing interface:

PhysicalNode

public static record PhysicalNode.ConstructiveCover(Schema schema, int strength, List<PhysicalNode> factors, List<Predicate> conjuncts)
extends Record
implements PhysicalNode

Constructive covering reduction (COVER, constructive mode): builds candidate rows value-by-value over the factors domains, using conjuncts as a validity oracle, never materialising the full Cartesian product.

The planner emits this node when it recognises the pattern Cover(t, σ?(Product(leaves…))); the materialized PhysicalNode.Cover node is emitted for all other inputs. The constructive executor builds each test row factor-by-factor: at each step it enumerates candidate values from that factor's domain, checks any conjuncts whose referenced columns are now fully bound (partial-row validity), scores by uncovered-tuple gain, and commits the best choice. The universe is built directly from the factor domains rather than the materialized product.

Nested Class Summary

Nested classes/interfaces inherited from interface com.darkcollective.relix.plan.PhysicalNode

PhysicalNode.Aggregate, PhysicalNode.AsOfJoin, PhysicalNode.BernoulliSample, PhysicalNode.BuildSide, PhysicalNode.Closure, PhysicalNode.Cluster, PhysicalNode.ConstructiveCover, PhysicalNode.Cover, PhysicalNode.Distinct, PhysicalNode.Division, PhysicalNode.Downsample, PhysicalNode.Empty, PhysicalNode.Fixpoint, PhysicalNode.IntervalJoin, PhysicalNode.Iterate, PhysicalNode.Join, PhysicalNode.JoinAlgorithm, PhysicalNode.JoinKeys, PhysicalNode.JoinKind, PhysicalNode.LateralJoin, PhysicalNode.Limit, PhysicalNode.Optimize, PhysicalNode.Path, PhysicalNode.Pivot, PhysicalNode.Project, PhysicalNode.PushedScan, PhysicalNode.RecursiveRef, PhysicalNode.Rename, PhysicalNode.ReservoirSample, PhysicalNode.Scan, PhysicalNode.Select, PhysicalNode.Sessionize, PhysicalNode.SetKind, PhysicalNode.SetOp, PhysicalNode.Solve, PhysicalNode.Sort, PhysicalNode.Spool, PhysicalNode.TopK, PhysicalNode.Trace, PhysicalNode.Tree, PhysicalNode.Universal, PhysicalNode.Unnest, PhysicalNode.Unpivot, PhysicalNode.Why, PhysicalNode.Window

Constructor Summary

Constructors

Constructor	Description
ConstructiveCover(Schema schema, int strength, List<PhysicalNode> factors, List<Predicate> conjuncts)	Creates an instance of a ConstructiveCover record class.

Method Summary

Modifier and Type	Method	Description
List<PhysicalNode>	children()	Direct child plans, left-to-right; empty for a PhysicalNode.Scan.
List<Predicate>	conjuncts()	Returns the value of the conjuncts record component.
final boolean	equals(Object o)	Indicates whether some other object is "equal to" this one.
List<PhysicalNode>	factors()	Returns the value of the factors record component.
final int	hashCode()	Returns a hash code value for this object.
Schema	schema()	Returns the value of the schema record component.
int	strength()	Returns the value of the strength record component.
final String	toString()	Returns a string representation of this record class.

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface com.darkcollective.relix.plan.PhysicalNode

deliveredOrdering, mapChildren

Constructor Details

ConstructiveCover

public ConstructiveCover(Schema schema,
 int strength,
 List<PhysicalNode> factors,
 List<Predicate> conjuncts)

Creates an instance of a ConstructiveCover record class.

Parameters:

schema - the value for the schema record component

strength - the value for the strength record component

factors - the value for the factors record component

conjuncts - the value for the conjuncts record component

Method Details

children

public List<PhysicalNode> children()

Description copied from interface: PhysicalNode

Direct child plans, left-to-right; empty for a PhysicalNode.Scan.

Specified by:

children in interface PhysicalNode

toString

public final String toString()

Returns a string representation of this record class. The representation contains the name of the class, followed by the name and value of each of the record components.

Specified by:

toString in class Record

Returns:

a string representation of this object

hashCode

public final int hashCode()

Returns a hash code value for this object. The value is derived from the hash code of each of the record components.

Specified by:

hashCode in class Record

Returns:

a hash code value for this object

equals

public final boolean equals(Object o)

Indicates whether some other object is "equal to" this one. The objects are equal if the other object is of the same class and if all the record components are equal. Reference components are compared with Objects::equals(Object,Object); primitive components are compared with '=='.

Specified by:

equals in class Record

Parameters:

o - the object with which to compare

Returns:

true if this object is the same as the o argument; false otherwise.

schema

public Schema schema()

Returns the value of the schema record component.

Specified by:

schema in interface PhysicalNode

Returns:

the value of the schema record component

strength

public int strength()

Returns the value of the strength record component.

Returns:

the value of the strength record component

factors

public List<PhysicalNode> factors()

Returns the value of the factors record component.

Returns:

the value of the factors record component

conjuncts

public List<Predicate> conjuncts()

Returns the value of the conjuncts record component.

Returns:

the value of the conjuncts record component