מבנה לוגי שצוין עבור אוסף של אובייקטי נתונים, כולל טווחים המותר עבור הערכים שלהם ואת מפרטים עקביות נתונים אחרים.