Bph773
发表于 2025-3-23 10:34:13
Dynamische Integrität von Datenbanken978-3-642-74754-0Series ISSN 0343-3005
刺激
发表于 2025-3-23 14:38:01
Informatik-Fachberichtehttp://image.papertrans.cn/e/image/284296.jpg
Rustproof
发表于 2025-3-23 19:46:16
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
发表于 2025-3-23 22:15:34
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
发表于 2025-3-24 03:07:45
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
发表于 2025-3-24 09:31:56
http://reply.papertrans.cn/29/2843/284296/284296_16.png
BILE
发表于 2025-3-24 12:37:17
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.
爱花花儿愤怒
发表于 2025-3-24 16:16:03
The Start of My Scientific CareerIn diesem Kapitel stellen wir theoretische und algorithmische Grundlagen einer universellen Integritätsüberwachung vor.
Presbycusis
发表于 2025-3-24 20:34:39
,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.
增强
发表于 2025-3-24 23:13:56
http://reply.papertrans.cn/29/2843/284296/284296_20.png