Skip to content. | Skip to navigation

Informatik 5
Information Systems
Prof. Dr. M. Jarke
Personal tools
You are here: Home Staff M.Eng. Rihan Hai Mapping Test Suite Mapping Test Suite Tools

Mapping Test Suite Tools

Tool Suite

This project contains a rewriting algorithm which rewrites plain SO tgds to  nested tgds. Moreover, we have implemented a set of tools to support validation of the algorithm.

Notably, T4 and T5 only check variables and predicates unique up to variable/predicate renaming.


Notation Description Input Output Note
T1 Generate nested tgds A set of parameters from UI or config file A set of nested tgds  
T2 Skolemize/Normalize nested tgds A nested tgd Corresponding skolemized form as plain SO tgd First perform skolemization, then normalization them to plain SO tgds
T3 Generate plain SO tgds A set of parameters from UI or config file A set of plainSO tgds  
T4 Check the (structural) isomorphism between two nested tgds Two nested tgds (tau_1, tau_2) True (they are isomorphic)/ False (they are not isomorphic ) Allow parts in the same level having different orders; allow change of the conjunction sequence of source relations (resp. target relations) in LHs (resp. RHs).
T5 Check the (structural) isomorphism between two plainSO tgds Two plainSO tgds (mu_1, mu_2) True (they are isomorphic)/ False (they are not isomorphic )  

1.  Nested tgd generator (T1) allows users to input parameters in GUI or a config file. That is, T1 has two mode:
  • (single mode) user can generate a specific nested tgd in their mind; for examples see Input plain SO tgds and results
  • (batch mode) user can specify the parameters and T1 (uniformly or randomly) generates a set of nested tgds; in this mode one can also choose to generate tree pattern or simple pattern. For examples see Apply the nested tgd generator
2.  Plain SO tgds tgd generator (T3) allows users to store input parameters in a config file, and then generate a set of plain SO tgds. Similar to nested tgd generator, Plain SO tgd generator also allow single mode and batch mode. The single mode is mainly used for specific test (testing or examples from existing literature). The batch mode is used for experiments. T3 has two mode:

Note: the tricky part of the design is that if we make the skolem func arguments too random, there might be few generated pso rewritable. So we have designed this tool such that the skolem functions take universal variables using relations as unit.
Document Actions