Generating preview Instances for the face validation of entity-relationship schemata: the acyclic case

Authors:
Maria Amalfi;Alessandro Artale;Andrea Calì;Alessandro Provetti
Affiliations:
Computer Science, Free Univ. of Bozen-Bolzano, Bozen-Bolzano Italy;Computer Science, Free Univ. of Bozen-Bolzano, Bozen-Bolzano Italy;Oxford-Man Institute for Quantitative Finance, Oxford, UK and Dept. of Comp. Science & Inf. Sys. Birkbeck, Univ. of London, London, UK;Oxford-Man Institute for Quantitative Finance, Oxford, UK and Dept. of Physics, Informatics Section, University of Messina, Messina, Italy
Venue:
DASFAA'11 Proceedings of the 16th international conference on Database systems for advanced applications: Part II
Year:
2011

Citing 9
Cited 0

Decompositions and functional dependencies in relations

ACM Transactions on Database Systems (TODS)
Entity-Relationship Modeling: Foundations of Database Technology

Entity-Relationship Modeling: Foundations of Database Technology
Semantic sampling of existing databases through informative Armstrong databases

Information Systems
A validation methodology for agent-based simulations

Proceedings of the 2008 ACM symposium on Applied computing
Muse: Mapping Understanding and deSign by Example

ICDE '08 Proceedings of the 2008 IEEE 24th International Conference on Data Engineering
The DL-lite family and relations

Journal of Artificial Intelligence Research
Reasoning over extended ER models

ER'07 Proceedings of the 26th international conference on Conceptual modeling
Full satisfiability of UML class diagrams

ER'10 Proceedings of the 29th international conference on Conceptual modeling
Containment of conjunctive queries over conceptual schemata

DASFAA'06 Proceedings of the 11th international conference on Database Systems for Advanced Applications

Quantified Score

Hi-index	0.00

Visualization

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.