Tytuł artykułu
Wybrane pełne teksty z tego czasopisma
Identyfikatory
Warianty tytułu
Analiza, weryfikacja i projektowanie systemów tablicowych. Metody logiczne, algebraiczne i graficzne
Języki publikacji
Abstrakty
This paper is devoted to presentation of certain issues concerning analysis and verification of tabular systems. Such systems constitute an extension of relational databases and attributive decision tables. In order to assure safe and reliable performance of tabular systems, certain logical properties should be verified. The paper provides a logical model of tabular systems and states logical definitions of features such as completeness, consistency with constraints and determinism. Further, an algebraic approach to verification of these properties is proposed. A graphical interpretation and use of some graphical methods is also discussed.
W pracy przedstawiono zagadnienia analizy, weryfikacji i projektowania tablicowych systemów regułowych. Systemy takie stanowią istotne rozszerzenie relacyjnych baz danych i atrybutowych tablic decyzyjnych. Aby zapewnić ich niezawodną i bezpieczną pracę, pewne własności logiczne powinny zostać zweryfikowane. W pracy przedstawiono model logiczny systemów tablicowych oraz podano definicje logiczne własności takich, jak zupełność, zgodność z ograniczeniami i determizm. Zaproponowano elementy algebraicznego podejścia do weryfikacji tych własności. Przedstawiono także ideę zastosowania podejścia graficznego do wspomagania projektowania.
Słowa kluczowe
Wydawca
Rocznik
Tom
Strony
345--354
Opis fizyczny
Bibliogr. 24 poz., rys.
Twórcy
autor
autor
autor
autor
autor
autor
- Institute of Automatics, University of Mining and Metalurgy, Cracow
Bibliografia
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-AGH1-0023-0140
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.