Defaults in deduktiven Datenbanken

14 KAPITEL 2. DEDUKTIVE DATENBANKENNatürlich können in den Formeln Konstanten auftreten, wie etwa Zeichenketten oderZahlen. Neben diesen Datentyp-Konstanten ist es möglich, Konstanten für Objekte derAnwendungswelt einzuführen (etwa für Personen, Waren, usw.). Dies ist im relationalenModell nicht vorgesehen und entspricht der Möglichkeit des Entity-Relationship“-”Modells, über diese Objekte selbst reden zu können und nicht nur über ihre Namen.Solche Konstanten können zu Sorten wie person“ oder ware“ zusammengefaßt werden.Zusammen mit den für die Prädikate spezifizierten Argumentsorten ist so eine” ”Typprüfung möglich. Zur Vereinfachung ist hier für jedes Prädikat nur eine Sortenangabezulässig, praktische Implementierungen werden wohl überladene Bezeichner anbieten.Es werden hier nur bereichsbeschränkte“ Formeln (s.u.) zugelassen, um nur endliche”Modelle betrachten zu müssen. Für ihre Definition ist die Unterscheidung zwischen positiv,negativ oder gar nicht bindenden Prädikaten nötig. Der klassische Fall sind dabeidie positiv bindenden Prädikate — sie können so interpretiert werden, daß sie höchstensfür die explizit vorkommenden Konstanten wahr sind. Ein Beispiel für ein nicht bindendesPrädikat wäre