Extension du modèle logique relationnel : les types

DéfinitionType

Type de données créé par le concepteur d'un schéma relationnel-objet, qui encapsule des données et des opérations sur ces données. Ce concept est à rapprocher de celui de classe d'objets.

Synonymes : Type de données utilisateur, Type de données abstrait

SyntaxeNiveau logique

1
Type nom_type : <
2
 attribut1:typeAttribut1,
3
 attribut2:typeAttribut2,
4
 ...
5
 attributN:typeAttributN,
6
>

Complément

Les types des attributs d'un type peuvent également être des types utilisateurs.

ComplémentNiveau logique avec méthodes

1
Type nom_type : <
2
 attribut1:typeAttribut1,
3
 attribut2:typeAttribut2,
4
 ...
5
 attributN:typeAttributN,
6
 =methode1:(paramètres) typeRetourné1,
7
 =methode2:(paramètres) typeRetourné2,
8
 =...
9
 =methodeN:(paramètres) typeRetournéN
10
>