Generating Preview Instances for the Face Validation of Entity-Relationship Schemata: The Acyclic Case
Conference paper
Abstract
We describe a mapping of Extended Entity-Relationship schemata to Answer Set Programming that allows us to generate informative example instances of the relational database that is implied by the conceptual schema. Such instances may be submitted to people involved in the requirements phase as a glimpse of what instances are allowed by the E-R schema at hand, thus enhancing database comprehension and so-called face validation.
Preview
Unable to display preview. Download preview PDF.
References
- 1.Alexe, B., Chiticariu, L., Miller, R.J., Tan, W.C.: Muse: Mapping understanding and design by example. In: ICDE, pp. 10–19. IEEE, Los Alamitos (2008)Google Scholar
- 2.Armstrong, W., Delobel, C.: Decompositions and functional dependencies in relations. ACM Trans. on Database Systems (TODS) 5(4), 404–430 (1990)CrossRefzbMATHGoogle Scholar
- 3.Artale, A., Calvanese, D., Ibanez-Garcia, A.: Full satisfiability of UML class diagrams. In: Parsons, J., Saeki, M., Shoval, P., Woo, C., Wand, Y. (eds.) ER 2010. LNCS, vol. 6412, Springer, Heidelberg (2010)Google Scholar
- 4.Artale, A., Calvanese, D., Kontchakov, R., Ryzhikov, V., Zakharyaschev, M.: Reasoning over extended ER models. In: Parent, C., Schewe, K.-D., Storey, V.C., Thalheim, B. (eds.) ER 2007. LNCS, vol. 4801, pp. 277–292. Springer, Heidelberg (2007)CrossRefGoogle Scholar
- 5.Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: The DL-lite family and relations. J. Artif. Intell. Res. (JAIR) 36, 1–69 (2009)MathSciNetzbMATHGoogle Scholar
- 6.Calì, A.: Containment of conjunctive queries over conceptual schemata. In: Li Lee, M., Tan, K.-L., Wuwongse, V. (eds.) DASFAA 2006. LNCS, vol. 3882, pp. 628–643. Springer, Heidelberg (2006)CrossRefGoogle Scholar
- 7.Calimeri, F., Cozza, S., Ianni, G., Leone, N.: Enhancing asp by functions: Decidable classes and implementation techniques. In: Fox, M., Poole, D. (eds.) AAAI. AAAI Press, Menlo Park (2010)Google Scholar
- 8.DeMarchi, F., Petit, J.M.: Semantic sampling of existing databases through informative armstrong databases. Information Systems 32(3), 446–457 (2007)CrossRefGoogle Scholar
- 9.Fagin, R., Vardi, M.Y.: Armstrong databases for functional and inclusion dependencies. Information Processing Letters 16(1), 13–19 (1983)MathSciNetCrossRefzbMATHGoogle Scholar
- 10.Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing, 365–387 (1991)Google Scholar
- 11.Gottlob, G., Libkin, L.: Investigations on armstrong relations, dependency inference and excluded functional dependencies. Acta Cybernetica 9(4), 385–402 (1990)MathSciNetzbMATHGoogle Scholar
- 12.Klügl, F.: A validation methodology for agent-based simulations. In: Wainwright, R.L., Haddad, H. (eds.) SAC, pp. 39–43. ACM, New York (2008)Google Scholar
- 13.O’Keefe, R.M.: The validation of expert systems revisited. The Journal of the Operational Research Society 40(5), 509–511 (1989)CrossRefGoogle Scholar
- 14.Thalheim, B.: Entity-Relationship Modeling: Foundations of Database Technology. Springer, Berlin (2000)CrossRefzbMATHGoogle Scholar
- 15.Vigna, S.: Reachability problems in entity-relationship schema instances. In: Atzeni, P., Chu, W., Lu, H., Zhou, S., Ling, T.-W. (eds.) ER 2004. LNCS, vol. 3288, pp. 96–109. Springer, Heidelberg (2004)CrossRefGoogle Scholar
Copyright information
© Springer-Verlag Berlin Heidelberg 2011