Wyniki wyszukiwania - BazTech

Ograniczanie wyników

1 Prace Naukowe Wydziałowego Zakładu Informatyki Politechniki Wrocławskiej

1 2002

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: więzy integralności dynamiczne

Sortuj według:

Ogranicz wyniki do:

Dynamiczne więzy integralności w systemach zarządzania bazami danych.

Mazur Z., Wilczek A.

Prace Naukowe Wydziałowego Zakładu Informatyki Politechniki Wrocławskiej

2002

z. 1

9-17

Dynamiczne więzy integralności to więzy, które w przeciwieństwie do statycznych więzów integralności obejmujących pojedynczy stan bazy, obejmują sekwencję stanów bazy danych. Istnieją metody specyfikacji dynamicznych więzów integralności wykorzystujące, zaczerpnięty z logiki matematycznej rachunek zdań bądź rachunek kwantyfikatorów rzędu 1-go wzbogacony o spójniki temporalne [1], [3], [5]. Problem weryfikacji i utrzymania spójności danych, w aspekcie dynamicznych więzów integralności, bez konieczności przechowywania pełnej historii stanów bazy danych, znalazł kilka rozwiązań w modelu relacyjnym baz danych [2], [3], [4], [6]. Celem pracy jest przedstawienie metod reprezentacji, weryfikacji i utrzymania skończonego zbioru dynamicznych więzów integralności w relacyjnych SZBD.

The specification of a database system consists of the description of its static information structure as well as of its dynamic behaviour. Specification of database dynamics became an important topics in the last few years. This paper presents dynamic integrity constraints, i.e. constraints on state sequences instead of single state as in the static case. In order to specify and maintain dynamic constraints we present existing approaches based on temporal logic and transition graphs.