Η προδιαγραφή για έναν τύπο δεδομένων που περιλαμβάνει ένα καθορισμένο σύνολο ιδιοτήτων και αντιπροσωπεύει ένα είδος ανώτατου επιπέδου σε ένα μοντέλο δεδομένων.