Tip obiect

Un tip obiect (clasă) conţine: atribute şi metode.
Paşii care trebuie parcurşi pentru utilizarea obiectelor în Oracle sunt:

Declararea şi memorarea în baza de date a unui tip obiect: CREATE TYPE
Declararea unor variabile de un tip obiect

Un tip obiect conţine două părti:

Declararea obiectului, cu atributele şi metodele publice
Corpul obiectului, cu atribute şi metode private şi cu implementarea metodelor publice şi private

Un tip obiect se poate gestiona în SQL*Plus sau SQL Developer. In blocuri, proceduri, pachete, se poate face gestiunea unui tip obiect numai cu instrucţiunea execute immediate sau cu pachetul DBMS_SQL.

Sintaxa de definire a tipului obiect este:

Crearea tipului obiect (partea de specificaţie):
Sintaxa simplificată:

CREATE [OR REPLACE] TYPE nume {IS | AS} OBJECT [UNDER nume_parinte] (
  nume_atribut tip_data [, nume_atribut tip_data] ...
  [{MAP | ORDER} MEMBER def_functie,]
  [MEMBER {def_functie | def_procedura} 
  [, MEMBER {def_functie | def_procedura}] ...] 
);

Sintaxa mai completă:

CREATE [OR REPLACE] TYPE nume {IS | AS} OBJECT [UNDER nume_parinte] (
  nume_atribut tip_data [, nume_atribut tip_data] ...
  [CONSTRUCTOR function nume([lista_parametri]) return SELF AS RESULT,]
  [{MAP | ORDER} MEMBER def_functie,]
  [[{FINAL | OVERRIDING | NOT INSTANTIABLE}] MEMBER {def_functie | def_procedura} 
  [, [{FINAL | OVERRIDING | NOT INSTANTIABLE}] MEMBER {def_functie | def_procedura}] ...] 
) [{FINAL | NOT FINAL}][{INSTANTIABLE | NOT INSTANTIABLE}];

Corpul obiectului:

CREATE [OR REPLACE] TYPE BODY nume {IS | AS} 
  
  implementare metode definite in partea de specificatii
  
END;

Observaţii:

Un tip obiect are cel puţin unul şi cel mult 1000 atribute publice
Tipul atributelor poate fi cel utilizat în PL/SQL, cu excepţia:
- LONG, LONG RAW
- ROWID
- BINARY_INTEGER (şi subtipurile acestuia), BOOLEAN, PLS_INTEGER, RECORD, REF CURSOR, %TYPE, %ROWTYPE
- Tipuri definite în pachete
Tipul atributelor poate fi un alt tip obiect memorat
La definirea unui atribut nu se poate stabili o valoare implicită (clauza DEFAULT), sau restricţii (clauza NOT NULL) pentru atribute
Un tip obiect poate să nu conţină metode. Fără metode se obţine un tip înregistrare memorat în baza de date
Pentru fiecare metodă din partea de specificare trebuie să existe o implementare în corpul tipului
Un tip obiect se poate folosi pentru:
- declararea unei variabile
- declararea unui atribut la un tip obiect sau la o înregistrare
- declararea unei coloane dintr-un tabel
- declararea unei colecţii
- declararea unui parametru la un subprogram
- declararea rezultatului unei funcţii
- crearea unui tabel de obiecte
Dacă o metodă nu are parametri, atunci la folosirea acesteia sunt necesare parantezele: obiect.metoda(), spre deosebire de funcţii memorate unde parantezele lipsesc
Metodele de acelaşi tip (proceduri, respectiv funcţii) pot avea aceeaşi denumire (apare o supraîncărcare). Pentru a putea folosi această facilitate trebuie ca să se poată diferenţia cele două metode (la apel să se poată face alegerea metodei) prin numărul de parametri, sau prin tipul parametrilor.
La implementarea metodelor unui tip obiect se pot referi atribute şi alte metode proprii fără a folosi calificarea, sau se poate folosi cuvântul SELF pentru referire la obiectul care se implementează.
Două obiecte (instanţe ale unui tip obiect) pot fi comparate prin "=" (toate atributele au aceleaşi valori) sau prin "<>".
Pentru ordonarea obiectelor se poate defini o funcţie introdusă cu MAP, care are valori de tipul: Date, Number, Char, Varchar2, sau alte tipuri şi subtipuri asemănătoare. Această funcţie se foloseşte pentru a compara două obiecte prin operatori relaţionali (=, <, <=, >, >=, <>), sau în instrucţiunile Select la clauzele: Distinct, Group By, Order By.
Functia Map poate fi înlocuită cu o metoda ORDER (la comparaţii, la evaluarea instrucţiunii Select - cu variantele descrise mai sus). O astfel de metodă are cel mult doi parametri, primul (opţional) care este SELF, iar următorul este un parametru de acelaşi tip obiect. Valoarea funcţiei este un număr. Se presupune ca se compară obiectul insuşi (SELF) cu obiectul precizat ca parametru pentru această funcţie. Dacă rezultatul este:
- <0, atunci: Self < obiectul precizat ca parametru
- =0, atunci: Self = obiectul precizat ca parametru
- >0, atunci: Self > obiectul precizat ca parametru
Un tip obiect poate avea numai una dintre aceste metode. Pentru o ordonare mai rapidă se recomandă metoda de tip MAP
Pentru ştergerea unui tip obiect care nu este folosit la o definiţie memorată în baza de date (alt tip obiect, tabel, subprogram, etc) se poate folosi instrucţiunea:
```
DROP TYPE nume;
```
Modificarea unui tip obiect se poate face prin instrucţiunea ALTER TYPE. Se poate face adăugarea, modificarea, ştergerea de atribute, adaugarea, ştergerea de metode (vezi ALTER TYPE Statement).
Fiecare tip obiect are un constructor implicit cu numele identic cu numele tipului obiect şi are ca parametri numele atributelor publice cu tipurile acestora. Acest constructor implicit se foloseşte pentru a crea (instanţia) o variabilă de tipul obiectului. Parametrii constructorului corespund cu atributele tipului.
Pentru un tip obiect se poate defini şi un constructor explicit, care furnizează un obiect. După atribuirea de valori pentru atribute (la obiectul SELF), se foloseşte instrucţiunea "RETURN;" pentru a termina funcţia constructor.
Constructorul se apelează explicit, nu există situaţii pentru care se face o apelare implicită.
O variabilă declarată de un tip obiect şi care nu a primit o valoare este evaluată la null. Dacă se încearcă atribuirea unei valori la un atribut dintr-o astfel de variabilă, atunci apare excepţia ACCESS_INT_NULL

Exemple

Moştenirea

La definirea unui tip obiect se poate folosi moştenirea simplă prin folosirea clauzei "UNDER nume_parinte". Tipul obiect care se crează va moşteni toate atributele şi metodele tipului părinte. Pe lângă aceste atribute şi metode noul tip de dată poate conţine atribute şi metode suplimentare care pot supraîncărca metodele tipului părinte.
La definirea unui tip obiect poate apare una din clauzele:

NOT FINAL: tipul definit se poate folosi pentru definirea de subtipuri
FINAL: din acest tip de dată nu se pot face derivări

Tot la definirea unui tip obiect poate apare una din clauzele:

NOT INSTANTIABLE: tipul obiect definit nu se poate instanţia, deci nu există constructor (implicit sau explicit)
INSTANTIABLE: tipul obiect definit se poate instanţia

Exemple

View-uri sistem

Pentru a obţine informaţii despre tipurile de date definite se pot folosi următoarele view-uri sistem (http://ss64.com/orad/):

user_objects where object_type='TYPE';
user_types
user_tab_cols
user_coll_types
user_type_attrs
user_type_methods

Exemple

Tip obiect cu metoda map
Exemplu pentru folosirea obiectului
Tipuri obiect cu mostenire
Exemplu pentru folosirea obiectelor
In SVG se pot obţine diverse grafice 2D. Pentru unele dintre aceste desene se vor defini tipuri obiecte în Oracle.

Referinte spre obiecte

Pentru consistenta datelor, in modelarea relationala se folosesc constrangerile referentiale prin intermediul cheilor straine (FK).
In modelul orientat obiect al bazelor de date, aceasta consistenta se asigura prin relatii de tip referinta intre obiecte, nu prin FK.
Referintele spre obiecte se declara prin tipul REF, ce reprezinta practic pointeri spre obiecte dintr-o tabela de obiecte.
Fiecare obiect intr-o tabela de obiecte are un identificator unic de obiect (OID) ce se poate stoca intr-o coloana de tip REF.
Pentru a specifica o tabela la care coloana referinta pointeaza, se foloseste clauza SCOPE IS.

Tip obiect cu coloane REF
Exemplu pentru folosirea referintelor obiect

Alte operatii posibile:

Se pot utiliza indexuri pentru regasirea rapida a informatiei:

CREATE INDEX  i_dept_addr1
          ON  department_loc (dept_addr.city);

Se pot construi declansatori (trigerr) pe tabele obiect:

CREATE TABLE movement (
     idno           NUMBER,
     old_office     location_typ,
     new_office     location_typ );

CREATE TRIGGER trigger1
  BEFORE UPDATE
             OF  office_loc
             ON  office_tab
   FOR EACH ROW
           WHEN  (new.office_loc.city = 'Redwood Shores')
   BEGIN
     IF :new.office_loc.building_no = 600 THEN
      INSERT INTO movement (idno, old_office, new_office)
       VALUES (:old.occupant.idno, :old.office_loc, :new.office_loc);
     END IF;
   END;/