Domæneform

Domæneform er et begreb, der anvendes i danske tekster inden for matematik og datalogi til at beskrive den formelle definition af et domæne. I matematisk sammenhæng betegner domænet for en funktion det sæt af værdier, som inddata kan antage, og domæneform refererer til den måde, dette sæt er specificeret på, herunder restriktioner og grænser. Det kan være angivet som et konstrueret sæt, et interval eller et mere generelt sæt defineret ved en betingelse.

I programmering og formelle specifikationer bruges domæneform til at beskrive typen eller de mulige værdier for en variabel eller et attribut i en model. Eksempler er domæner som heltal, reelle tal, boolske værdier eller en afgrænset mængde værdier (enum). Ud over basistypen kan domæneformen inkludere intervalforhold, prædikater eller kontekstuelle begrænsninger, for eksempel at alderen er et helt tal mellem 0 og 120.

I databasedesign og modelleringssprog bruges domæneformer til at håndhæve datas integritet ved at angive hvilke værdier en kolonne tillader. Domæneformen kan derfor fungere som en del af konventioner og valideringsregler i en given notation eller et skema.

Bemærk, at termen ikke er universelt standardiseret og anvendelsen kan variere mellem fagområder og undervisningskontekster. Generelt betegner den dog den formelle præsentation af et domæne i en given notation eller model.