Llenguatge de restricció d'objectes