Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  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
1
Institute of Computer Science, FORTH, Heraklion, Crete, Greece
2 Universite de Paris-Sud, LRI-Bat 490, 91405 Orsay Cedex, France
3
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