Skip to content. | Skip to navigation

Personal tools
You are here: Home Staff Former Staff Dr. Rihan Hai, Correctness check with existing literatures

Correctness check with existing literatures

Page Input plain SO tgds and results
In this page we provide the detailed results of 14 plain SO tgds from existing literature, including the input plain SO tgds, their source literature and our output results. The examples from the paper are also added. The single mode of our mapping generators (nested tgd generator, plain SO tgd generator) is used, which allows the user to customize an input plain SO tgd or nested tgd. In addition, we show another 13 examples. They are enumerated examples for illustrating certain technical details most omitted in the paper, e.g., consistency check, insert a new middle level part (similar to inserting a root), which were relatively simple and not the main focus of the paper.
Page Apply the nested tgd generator
To examine the correctness of our approach with complex mapping scenarios, we have designed a second experiment using the nested tgd generator and populated 1,088,230 nested tgds, which we transfered to plain SO tgds by Skolemization and normalization.
Page Apply the plain SO tgd generator
Document Actions