Advertisement

Typsysteme

  • Armin B. Cremers
  • Ulrike Griefahn
  • Ralf Hinze
Part of the Artificial Intelligence / Künstliche Intelligenz book series (CI)

Zusammenfassung

Die Grundlage unserer bisherigen Betrachtungen bildet die mehrsortige Prädikatenlogik erster Stufe. Sortenrestriktionen spielen bei der Modellierung eines Ausschnitts der realen Welt eine wichtige Rolle. Sie stellen inhärente Integritätsbedingungen eines Datenmodells dar und schränken mögliche Ausprägungen von Prädikaten auf sortentreue ein.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Fachmedien Wiesbaden 1994

Authors and Affiliations

  • Armin B. Cremers
    • 1
  • Ulrike Griefahn
    • 1
  • Ralf Hinze
    • 1
  1. 1.BonnDeutschland

Personalised recommendations