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

• Autorzy: Mazur Z. , Wilczek A.

Warianty tytułu

EN

On dynamic integrity constraints in rdbms.

• Języki publikacji: PL

Abstrakty

PL

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.

EN

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.

Słowa kluczowe

PL

więzy integralności dynamiczne; logika temporalna; bazy danych

EN

dynamic integrity; temporal logic; databases

• Wydawca: Oficyna Wydawnicza Politechniki Wrocławskiej
• Czasopismo: Prace Naukowe Wydziałowego Zakładu Informatyki Politechniki Wrocławskiej
• Rocznik: 2002
• Tom: z. 1
• Strony: 9--17
• Opis fizyczny: Bibliogr. 6 poz.

Twórcy

autor

Mazur Z.

autor

Wilczek A.

• Wydziałowy Zakład Informatyki, Wydział Informatyki i Zarządzania Politechniki Wrocławskiej, 50-370, Skwer Idaszewskiego 1,