Eine Datenbasis wird konsistent genannt, wenn sie ein wahrheitsgemasses Modell der gegebenen Miniwelt darstellt. Mit der Ausnahme von Prozessdatenbanken, die ihre Eingabe uber Sensoren erhalten, werden die Daten im Normalfall durch menschliche Benutzer eingegeben. Es ist daher notwendig, einen schwacheren Begriff der Konsistenz einzufuhren. Die in der gegebenen Miniwelt beobachteten Gesetzmassigkeiten werden mittels Konsistenzbedingungen - im allgemeinen geschlossene pradikatenlogische Formeln - modelliert. Eine Datenbasis wird dann als konsistent bezeichnet, wenn die Konsistenzbedingungen...
Eine Datenbasis wird konsistent genannt, wenn sie ein wahrheitsgemasses Modell der gegebenen Miniwelt darstellt. Mit der Ausnahme von Prozessdatenbank...