Generating Preview Instances for the Face Validation of Entity-Relationship Schemata: The Acyclic Case

  • Maria Amalfi
  • Alessandro Artale
  • Andrea Calì
  • Alessandro Provetti
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6588)


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 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. 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. 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. 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. 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. 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. 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. 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. 9.
    Fagin, R., Vardi, M.Y.: Armstrong databases for functional and inclusion dependencies. Information Processing Letters 16(1), 13–19 (1983)MathSciNetCrossRefzbMATHGoogle Scholar
  10. 10.
    Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing, 365–387 (1991)Google Scholar
  11. 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. 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. 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. 14.
    Thalheim, B.: Entity-Relationship Modeling: Foundations of Database Technology. Springer, Berlin (2000)CrossRefzbMATHGoogle Scholar
  15. 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

Authors and Affiliations

  • Maria Amalfi
    • 1
  • Alessandro Artale
    • 1
  • Andrea Calì
    • 2
    • 3
  • Alessandro Provetti
    • 2
    • 4
  1. 1.Computer ScienceFree Univ. of Bozen-BolzanoBozen-BolzanoItaly
  2. 2.Oxford-Man Institute for Quantitative FinanceOxfordUK
  3. 3.Dept. of Comp. Science & Inf. Sys. BirkbeckUniv. of LondonLondonUK
  4. 4.Dept. of Physics, Informatics SectionUniversity of MessinaMessinaItaly

Personalised recommendations