public void testLoadNegation() {
try {
Scenario scenario = UtilityTest.loadScenarioFromResources(References.companies_rew);
Assert.assertNotNull(scenario);
Assert.assertNotNull(scenario.getSource());
Assert.assertEquals(5, scenario.getSource().getTableNames().size());
Assert.assertNotNull(scenario.getTarget());
Assert.assertEquals(2, scenario.getTarget().getTableNames().size());
Assert.assertNotNull(scenario.getPartialOrder());
if (logger.isDebugEnabled()) logger.debug(scenario.toString());
} catch (Exception ex) {
ex.printStackTrace();
Assert.fail(ex.getLocalizedMessage());
}
}
public void testLoadFunction() {
try {
Scenario scenario = UtilityTest.loadScenarioFromResources(References.employees_rew);
Assert.assertNotNull(scenario);
Assert.assertNotNull(scenario.getSource());
Assert.assertEquals(1, scenario.getSource().getTableNames().size());
Assert.assertTrue(scenario.getSource().getTableNames().contains("S_Employee"));
Assert.assertEquals(8, UtilityTest.getSize(scenario.getSource().getTable("S_Employee")));
Assert.assertNotNull(scenario.getTarget());
Assert.assertEquals(1, scenario.getTarget().getTableNames().size());
Assert.assertEquals(0, UtilityTest.getSize(scenario.getTarget().getTable("T_Employee")));
Assert.assertNotNull(scenario.getPartialOrder());
if (logger.isDebugEnabled()) logger.debug(scenario.toString());
} catch (Exception ex) {
ex.printStackTrace();
Assert.fail(ex.getLocalizedMessage());
}
}
public void testLoadOnlyTarget() {
try {
Scenario scenario = UtilityTest.loadScenarioFromResources(References.expenseDB);
Assert.assertNotNull(scenario);
Assert.assertNotNull(scenario.getSource());
Assert.assertEquals(0, scenario.getSource().getTableNames().size());
Assert.assertNotNull(scenario.getTarget());
Assert.assertEquals(3, scenario.getTarget().getTableNames().size());
Assert.assertEquals(3, UtilityTest.getSize(scenario.getTarget().getTable("companies")));
Assert.assertEquals(3, UtilityTest.getSize(scenario.getTarget().getTable("projects")));
Assert.assertEquals(4, UtilityTest.getSize(scenario.getTarget().getTable("grants")));
Assert.assertNotNull(scenario.getPartialOrder());
if (logger.isDebugEnabled()) logger.debug(scenario.toString());
} catch (Exception ex) {
ex.printStackTrace();
Assert.fail(ex.getLocalizedMessage());
}
}
public void testLoadXML() {
try {
Scenario scenario = UtilityTest.loadScenarioFromResources(References.bookPublisher);
Assert.assertNotNull(scenario);
Assert.assertNotNull(scenario.getSource());
Assert.assertEquals(4, scenario.getSource().getTableNames().size());
Assert.assertEquals(3, UtilityTest.getSize(scenario.getSource().getTable("IBDBookSet")));
Assert.assertEquals(2, UtilityTest.getSize(scenario.getSource().getTable("LOCSet")));
Assert.assertEquals(2, UtilityTest.getSize(scenario.getSource().getTable("IBLBookSet")));
Assert.assertEquals(2, UtilityTest.getSize(scenario.getSource().getTable("IBLPublisherSet")));
Assert.assertNotNull(scenario.getTarget());
Assert.assertEquals(2, scenario.getTarget().getTableNames().size());
Assert.assertEquals(0, UtilityTest.getSize(scenario.getTarget().getTable("BookSet")));
Assert.assertEquals(0, UtilityTest.getSize(scenario.getTarget().getTable("PublisherSet")));
Assert.assertNotNull(scenario.getPartialOrder());
if (logger.isDebugEnabled()) logger.debug(scenario.toString());
} catch (Exception ex) {
ex.printStackTrace();
Assert.fail(ex.getLocalizedMessage());
}
}
@Override
public NewChaseSteps chaseDependency(
DeltaChaseStep currentNode,
Dependency egd,
IAlgebraOperator premiseQuery,
Scenario scenario,
IChaseState chaseState,
IDatabase databaseForStep) {
if (logger.isDebugEnabled())
logger.debug("***** Step: " + currentNode.getId() + " - Chasing dependency: " + egd);
if (logger.isTraceEnabled()) logger.trace(databaseForStep.printInstances());
this.lastTuple = null;
this.lastTupleHandled = false;
if (logger.isDebugEnabled()) logger.debug("Executing premise query: " + premiseQuery);
if (logger.isTraceEnabled())
logger.debug(
"Result:\n"
+ LunaticUtility.printIterator(
queryRunner.run(premiseQuery, scenario.getSource(), databaseForStep)));
long violationQueryStart = new Date().getTime();
ITupleIterator it = queryRunner.run(premiseQuery, scenario.getSource(), databaseForStep);
long violationQueryEnd = new Date().getTime();
ChaseStats.getInstance()
.addStat(ChaseStats.EGD_VIOLATION_QUERY_TIME, violationQueryEnd - violationQueryStart);
List<Repair> repairsForDependency = new ArrayList<Repair>();
try {
while (true) {
long equivalenceClassStart = new Date().getTime();
EquivalenceClassForSymmetricEGD equivalenceClass =
readNextEquivalenceClass(
it, egd, currentNode.getDeltaDB(), currentNode.getId(), chaseState, scenario);
long equivalenceClassEnd = new Date().getTime();
ChaseStats.getInstance()
.addStat(
ChaseStats.EGD_EQUIVALENCE_CLASS_TIME, equivalenceClassEnd - equivalenceClassStart);
if (equivalenceClass == null) {
break;
}
ICostManager costManager = CostManagerFactory.getCostManager(egd, scenario);
long choosingRepairStart = new Date().getTime();
List<Repair> repairsForEquivalenceClass =
costManager.chooseRepairStrategy(
new EquivalenceClassForEGDProxy(equivalenceClass),
currentNode.getRoot(),
repairsForDependency,
scenario,
currentNode.getId(),
occurrenceHandler);
long choosingRepairEnd = new Date().getTime();
ChaseStats.getInstance()
.addStat(ChaseStats.EGD_CHOOSING_REPAIR_TIME, choosingRepairEnd - choosingRepairStart);
if (logger.isDebugEnabled())
logger.debug(
"Repairs for equivalence class: "
+ LunaticUtility.printCollection(repairsForEquivalenceClass));
repairsForDependency =
ChaseUtility.accumulateRepairs(repairsForDependency, repairsForEquivalenceClass);
if (noMoreTuples(it)) {
break;
}
if (logger.isDebugEnabled())
logger.debug("Repairs for equivalence classes so far: " + repairsForDependency.size());
}
} catch (ChaseFailedException e) {
throw e;
} finally {
it.close();
}
if (logger.isDebugEnabled())
logger.debug(
"Total repairs for dependency: " + LunaticUtility.printCollection(repairsForDependency));
long repairStart = new Date().getTime();
NewChaseSteps newSteps = applyRepairs(currentNode, repairsForDependency, egd, scenario);
long repairEnd = new Date().getTime();
ChaseStats.getInstance().addStat(ChaseStats.EGD_REPAIR_TIME, repairEnd - repairStart);
return newSteps;
}
