public class Key extends Object
Constructor and Description |
---|
Key(Set<VariableReferenceExpression> variables)
A set of variable references that satisfy a primary or unique key constraint.
|
Modifier and Type | Method and Description |
---|---|
Key |
concat(Key toConcatKey)
Returns a version of this key concatenated with the provided key.
|
boolean |
keySatisifiesRequirement(Key keyRequirement)
Determines if a provided key requirement is satisfied by this key.
|
Optional<Key> |
normalize(EquivalenceClassProperty equivalenceClassProperty)
Returns a canonical version of this key wherein duplicate or constant variables are removed
and any remaining variables are replaced with their equivalence class heads.
|
Optional<Key> |
project(LogicalPropertiesImpl.InverseVariableMappingsWithEquivalence inverseVariableMappings)
Returns a projected version of this key.
|
String |
toString() |
public Key(Set<VariableReferenceExpression> variables)
variables
- public boolean keySatisifiesRequirement(Key keyRequirement)
keyRequirement
- public Optional<Key> normalize(EquivalenceClassProperty equivalenceClassProperty)
equivalenceClassProperty
- public Optional<Key> project(LogicalPropertiesImpl.InverseVariableMappingsWithEquivalence inverseVariableMappings)
inverseVariableMappings
- public Key concat(Key toConcatKey)
toConcatKey
- Copyright © 2012–2022. All rights reserved.