Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Property Covering: A Powerful Construct for Schema Derivations

Summary: Property Covering: A Powerful Construct for
Schema Derivations
Anastasia Analyti1, Nicolas Spyratos2, Panos Constantopoulos1 3
Institute of Computer Science, FORTH, Heraklion, Crete, Greece
2 Universite de Paris-Sud, LRI-Bat 490, 91405 Orsay Cedex, France
Department of Computer Science, University of Crete, Heraklion, Greece
E-mail: fanalyti, panosg@ics.forth.gr, spyratos@lri.fr
Abstract. Covering is a well-known relationship in semantic and object-
oriented models that holds when a class is the union of a collection of
subclasses. Covering has been studied in the past only for entity classes.
In this paper, we study covering for properties, and we introduce a new
relationship, called property covering. Property covering holds when a
property is the union of a collection of subproperties. Property covering
allows to (i) partition a property into subproperties, (ii) express property
value re nement, and (iii) express a particular form of negative informa-
tion. We demonstrate that property covering is a powerful conceptual
modeling mechanism, and we use it to provide a set of inference rules for
schema derivations.


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


Collections: Computer Technologies and Information Sciences