PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
Warianty tytułu
Języki publikacji
EN
Abstrakty
Artykuł przedstawia problemy związane z modelem relacyjnych baz danych w ujęciu systemów tablicowych. Omówiono zastosowanie operacji algebraicznych w konstruowaniu takich systemów.
EN
In this paper two issues concerning a common model for data and knowledge in the form of tabular systems were discussed. The first issue is the one of knowledge abstraction. The second issue concerns algebraic operations in such abstracted systems. Element of an algebra based on the concept of semi-partitions were proposed. (AP)
Twórcy
Bibliografia
  • Bancilhon F., Khoshafian S.: A Calculus for Complex Objects. "Journal of Computer and Systems Sciences" 38, 1989, 326-340.
  • Coenen F. et al.: Validation and Verification of Knowledge Based Systems: Report on EUROVAV'99. "Knowledge Engineering Review" Vol. 15:2, 2000, 187-196.
  • Conolly T., Begg C., Strachan A.: Database Systems. A Practical Approach to Design, Implementation and Management. Harlow, England, Addison-Wesley, 1999.
  • Gatnar E.: Symboliczne metody klasyfikacji danych. Warszawa: PWN 1998.
  • Ligęza A.: Elements of Algebraic Data Analysis for Verification of Qualitative Properties. In: A. Baborski (Ed.), Pozyskiwanie wiedzy z baz danych. Wyd. Akademii Ekonomicznej we Wrocławiu, Turawa 2000, 18-28.
  • Ligęza A.: Logical Analysis of Databases and Rule-Based Systems. In: R. Trappl (Ed.), "Cybernetics and Systems 2000", Austrian Society for Cybernetic Studies, Vienna, 2000, 757-762.
  • Ligęza A. (2001a): Towards Logical Analysis of Tabular Rule-Based Systems. "International Journal of Intelligent Systems" 16 (to appear).
  • Ligęza A. (2001b): Knowledge Representation and Inference for Analysis and Design of Data-Bases and Tabular Rule-Based Systems. "Computer Science" 3 (to appear).
  • Liu B., Ku L.-P., Hsu W.: Discovering Interesting Holes in Data. In: "Proceedings of IJCAI'87" Nagoya Vol. 2 1997 930-935.
  • Pawlak Z.: Rough Sets. Theoretical Aspects of Reasoning About Data. Dordrecht, Kluwer Academic Publishers 1991.
  • Vermesan A., Coenen F. (Eds.): Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice. Kluwer Academic Publishers Boston 1999.
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.ekon-element-000000009700

Zgłoszenie zostało wysłane

Zgłoszenie zostało wysłane

Musisz być zalogowany aby pisać komentarze.
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ć.