Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Inheritance under Participation Constraints and Disjointness

Summary: Inheritance under Participation
Constraints and Disjointness
Anastasia Analyti1, Nicolas Spyratos3, Panos Constantopoulos1 2, Martin Doerr1
Institute of Computer Science, Foundation for Research and Technology-Hellas, Greece
2 Department of Computer Science, University of Crete, Greece
Laboratoire de Recherche en Informatique, Universite de Paris-Sud, France
E-mail: fanalyti, panos, marting@ics.forth.gr, spyratos@lri.fr
Traditional database systems have been successful in handling large amounts of data but lack
mechanisms for schema derivations and schema veri cation. In this paper, we propose (i)
structures that carry expressive and useful information on the database schema, (ii) a set of
inference rules for schema derivations, and (iii) a mechanism for discovering contradictory
schema declarations.
To this end, in addition to the usual Isa relation, we de ne a stronger form of spe-
cialization for properties, that we call restriction isa, or Risa for short. The Risa relation
expresses property value re nement. A distinctive feature of our model is that it supports
the interaction between (explicit or derived) Isa and Risa relations, in di erent contexts. We
demonstrate that the combination of Isa and Risa provides a powerful conceptual modeling


Source: Analyti, Anastasia - Institute of Computer Science, Foundation of Research and Technology, Hellas


Collections: Computer Technologies and Information Sciences