MVT: a schema mapping validation tool

ABSTRACT

Schema mappings define relationships between schemas in a declarative way. We demonstrate MVT, a mapping validation tool that allows the designer to ask whether the mapping has certain desirable properties. The answers to these questions will provide information on whether the mapping adequately matches the intended needs and requirements. MVT is able to deal with a highly expressive class of mappings and database schemas, which allows the use of negations, order comparisons and null values. The tool does not only provide a Boolean answer as test result, but also a feedback for that result. Depending on the tested property and on the test result, the provided feedback can be in the form of example schema instances, or in the form of an explanation, that is, highlighting the mapping assertions and schema constraints responsible for getting such a result.

REFERENCES

• 1: Bogdan Alexe , Laura Chiticariu , Renée J. Miller , Daniel Pepper , Wang-Chiew Tan, Muse: a system for understanding and designing mappings, Proceedings of the 2008 ACM SIGMOD international conference on Management of data, June 09-12, 2008, Vancouver, Canada [doi>10.1145/1376616.1376755]
• 2: Bogdan Alexe , Laura Chiticariu , Wang-Chiew Tan, SPIDER: a schema mapPIng DEbuggeR, Proceedings of the 32nd international conference on Very large data bases, September 12-15, 2006, Seoul, Korea
• 3: Philip A. Bernstein , Laura M. Haas, Information integration in the enterprise, Communications of the ACM, v.51 n.9, September 2008 [doi>10.1145/1378727.1378745]
• 4: Angela Bonifati , Giansalvatore Mecca , Alessandro Pappalardo , Salvatore Raunich , Gianvito Summa, The Spicy system: towards a notion of mapping quality, Proceedings of the 2008 ACM SIGMOD international conference on Management of data, June 09-12, 2008, Vancouver, Canada [doi>10.1145/1376616.1376757]
• 5: Laura Chiticariu , Wang-Chiew Tan, Debugging schema mappings with routes, Proceedings of the 32nd international conference on Very large data bases, September 12-15, 2006, Seoul, Korea
• 6: Carles Farré , Ernest Teniente , Toni Urpí, Checking query containment with the CQC method, Data & Knowledge Engineering, v.53 n.2, p.163-223, May 2005 [doi>10.1016/j.datak.2004.08.002]
• 7: Jayant Madhavan , Philip A. Bernstein , Pedro Domingos , Alon Y. Halevy, Representing and reasoning about mappings between domain models, Eighteenth national conference on Artificial intelligence, p.80-86, July 28-August 01, 2002, Edmonton, Alberta, Canada
• 8: Lucian Popa , Yannis Velegrakis , Mauricio A. Hernández , Renée J. Miller , Ronald Fagin, Translating web data, Proceedings of the 28th international conference on Very Large Data Bases, p.598-609, August 20-23, 2002, Hong Kong, China
• 9: Erhard Rahm , Philip A. Bernstein, A survey of approaches to automatic schema matching, The VLDB Journal — The International Journal on Very Large Data Bases, v.10 n.4, p.334-350, December 2001 [doi>10.1007/s007780100057]
• 10: Guillem Rull , Carles Farré , Ernest Teniente , Toni Urpí, Computing explanations for unlively queries in databases, Proceedings of the sixteenth ACM conference on Conference on information and knowledge management, November 06-10, 2007, Lisbon, Portugal [doi>10.1145/1321440.1321584]
• 11: Guillem Rull , Carles Farré , Ernest Teniente , Toni Urpí, Validation of mappings between schemas, Data & Knowledge Engineering, v.66 n.3, p.414-437, September, 2008 [doi>10.1016/j.datak.2008.04.009]
• 12: Guillem Rull , Carles Farré , Ernest Teniente , Toni Urpí, Providing Explanations for Database Schema Validation, Proceedings of the 19th international conference on Database and Expert Systems Applications, September 01-05, 2008, Turin, Italy [doi>10.1007/978-3-540-85654-2_56]
• 13: Ernest Teniente , Carles Farré , Toni Urpí , Carlos Beltrán , David Gañán, SVT: schema validation tool for microsoft SQL-server, Proceedings of the Thirtieth international conference on Very large data bases, p.1349-1352, August 31-September 03, 2004, Toronto, Canada