public override bool Equals(object obj)
{
if (object.ReferenceEquals(this, obj))
{
return(true);
}
ExtentPair pair = obj as ExtentPair;
if (pair == null)
{
return(false);
}
return(pair.cExtent.Equals(cExtent) && pair.sExtent.Equals(sExtent));
}
// effects: Checks if all sViewConstraints are implied by the
// constraints in cViewConstraints. If some S-level constraints are
// not implied, adds errors/warnings to m_errorLog
private void CheckImplication(ViewSchemaConstraints cViewConstraints, ViewSchemaConstraints sViewConstraints)
{
// Check key constraints
// i.e., if S has a key <k1, k2>, C must have a key that is a subset of this
CheckImplicationKeyConstraints(cViewConstraints, sViewConstraints);
// For updates, we need to ensure the following: for every
// extent E, table T pair, some key of E is implied by T's key
// Get all key constraints for each extent and each table
var extentPairConstraints =
new KeyToListMap <ExtentPair, ViewKeyConstraint>(EqualityComparer <ExtentPair> .Default);
foreach (var cKeyConstraint in cViewConstraints.KeyConstraints)
{
var pair = new ExtentPair(cKeyConstraint.Cell.CQuery.Extent, cKeyConstraint.Cell.SQuery.Extent);
extentPairConstraints.Add(pair, cKeyConstraint);
}
// Now check that we guarantee at least one constraint per
// extent/table pair
foreach (var extentPair in extentPairConstraints.Keys)
{
var cKeyConstraints = extentPairConstraints.ListForKey(extentPair);
var sImpliesSomeC = false;
// Go through all key constraints for the extent/table pair, and find one that S implies
foreach (var cKeyConstraint in cKeyConstraints)
{
foreach (var sKeyConstraint in sViewConstraints.KeyConstraints)
{
if (sKeyConstraint.Implies(cKeyConstraint))
{
sImpliesSomeC = true;
break; // The implication holds - so no problem
}
}
}
if (sImpliesSomeC == false)
{
// Indicate that at least one key must be ensured on the S-side
m_errorLog.AddEntry(ViewKeyConstraint.GetErrorRecord(cKeyConstraints));
}
}
}
// effects: Checks if all sViewConstraints are implied by the
// constraints in cViewConstraints. If some S-level constraints are
// not implied, adds errors/warnings to m_errorLog
private void CheckImplication(ViewSchemaConstraints cViewConstraints, ViewSchemaConstraints sViewConstraints)
{
// Check key constraints
// i.e., if S has a key <k1, k2>, C must have a key that is a subset of this
CheckImplicationKeyConstraints(cViewConstraints, sViewConstraints);
// For updates, we need to ensure the following: for every
// extent E, table T pair, some key of E is implied by T's key
// Get all key constraints for each extent and each table
var extentPairConstraints =
new KeyToListMap<ExtentPair, ViewKeyConstraint>(EqualityComparer<ExtentPair>.Default);
foreach (var cKeyConstraint in cViewConstraints.KeyConstraints)
{
var pair = new ExtentPair(cKeyConstraint.Cell.CQuery.Extent, cKeyConstraint.Cell.SQuery.Extent);
extentPairConstraints.Add(pair, cKeyConstraint);
}
// Now check that we guarantee at least one constraint per
// extent/table pair
foreach (var extentPair in extentPairConstraints.Keys)
{
var cKeyConstraints = extentPairConstraints.ListForKey(extentPair);
var sImpliesSomeC = false;
// Go through all key constraints for the extent/table pair, and find one that S implies
foreach (var cKeyConstraint in cKeyConstraints)
{
foreach (var sKeyConstraint in sViewConstraints.KeyConstraints)
{
if (sKeyConstraint.Implies(cKeyConstraint))
{
sImpliesSomeC = true;
break; // The implication holds - so no problem
}
}
}
if (sImpliesSomeC == false)
{
// Indicate that at least one key must be ensured on the S-side
m_errorLog.AddEntry(ViewKeyConstraint.GetErrorRecord(cKeyConstraints));
}
}
}
