Titlebook: Dynamische Integrität von Datenbanken; Grundlagen der Spezi Udo W. Lipeck Book 1989 Springer-Verlag Berlin Heidelberg 1989 Ableitung.Algori

Bph773

Dynamische Integrität von Datenbanken978-3-642-74754-0Series ISSN 0343-3005

刺激

Informatik-Fachberichtehttp://image.papertrans.cn/e/image/284296.jpg

Rustproof

Cong Wang,Ji Li,Fan Ye,Yuanyuan Yangungswelt angemessen, d.h. entsprechend ihrer realen Semantik, in der Datenbank modelliert wird. Insbesondere sollten „zulässige“ Datenbank-Inhalte nur sinnvolle Anwendungssituationen repräsentieren; dabei umfaßt das Attribut „sinnvoll“ ein Spektrum, welches von Tatsachen der Realität bis hin zu orga

harrow

Cong Wang,Ji Li,Fan Ye,Yuanyuan Yangheoretischer Grundlagen nicht durch Erklärungen zum Beispielgegenstand zu unterbrechen, und um Verweise zu vereinfachen, wird das Schema, genauer seine erste formale Spezifikation im konzeptionellen Entwurf, in diesem Kapitel komplett präsentiert. Die formalen Teile sind überwiegend verbal kommentie

initiate

https://doi.org/10.1007/978-3-319-46955-3en nach jeder Zustandsänderung für alle aktuellen (unabhängigen) Objektkombinationen Prüfungen der Kanteninschriften vorzunehmen. Diesen erheblichen Aufwand kann man nur verringern, wenn man außer dem Ergebniszustand als ganzes sogar die betroffenen Objekte und die Art der Effekte (z.B. Einfügung od

reject

BILE

The Start of My Scientific CareerUm die Zulässigkeit von Zustandsfolgen formal zu spezifizieren, setzen wir temporale Logik ein: Dynamische Integritätsbedingungen werden durch temporale Formeln ausgedrückt.

爱花花儿愤怒

The Start of My Scientific CareerIn diesem Kapitel stellen wir theoretische und algorithmische Grundlagen einer universellen Integritätsüberwachung vor.

Presbycusis

,Dynamische Integritätsbedingungen,Um die Zulässigkeit von Zustandsfolgen formal zu spezifizieren, setzen wir temporale Logik ein: Dynamische Integritätsbedingungen werden durch temporale Formeln ausgedrückt.

增强