Skip to content. | Skip to navigation

Informatik 5
Information Systems
Prof. Dr. M. Jarke
Sections
Personal tools
You are here: Home Staff M.Eng. 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 including the input plain SO tgds, their source literature and our output results. Our approach allows user to customize an input plain SO tgd in the single mode of the two generators. We show 27 examples with 14 of below examples from existing literature. We add additional examples from the paper. The rest are enumerated examples for illustrate certain points, 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