Logically automorphically equivalent knowledge bases

Preprint English OPEN
Aladova, Elena; Plotkin, Tatjana;
(2017)
  • Subject: Computer Science - Logic in Computer Science

Knowledge bases theory provide an important example of the field where applications of universal algebra and algebraic logic look very natural, and their interaction with practical problems arising in computer science might be very productive. In this paper we study the... View more
  • References (36)
    36 references, page 1 of 4

    [1] A. V. Aho, Y. Sagiv, J. D. Ullman, Equivalences Among Relational Expressions, SIAM J. Comput., 8(2) (1979) 218-246.

    [2] E. Aladova, E.Plotkin, T. Plotkin, Isotypeness of models and knowledge bases equivalence, Math. Comput. Sci., 7(4) (2013) 421-438.

    [3] E. Aladova, Syntax versus semantics in knowledge bases I, accepted in Internat. J. Algebra Comput.

    [5] Alavi, M., Leidner, D. E., Review: Knowledge management and knowledge management systems: Conceptual foundations and research issues, MIS Quarterly, 25(1) (2001) 107-136.

    [6] P. Atzeni, G. Aussiello, C. Batini, M. Moscarini, Inclusion and equivalence between relational database schemes, Theoret. Comput. Sci., 19 (1982) 267-285.

    [7] K.H. Baik, L. L. Miller, Topological Approach for Testing Equivalence in Heterogenous Relational Databases, The Computer Journal, 33(1) (1990) 2-10.

    [8] F. Bancillon, On the completeness of query language for relational databases, Lecture Notes in Comput. Sci., 64 (1978) 112-123.

    [9] C. Beeri, A. Mendelzon, Y. Sagiv, J. Ullman, Equivalence of relational database schemes, In Proc. Eleventh Annual ACM Symp. on Theory of Computing, (1979) 319-329.

    [10] E.M. Beniaminov, Galois theory of complete relational subalgebras of algebras of relations, logical structures, symmetry, NauchnoTekhnicheskaya Informatsiya, 2(1) (1980) 17-25.

    [11] C.C. Chang, H.J. Keisler, Model Theory, North-Holland Publ. Co., 1973.

  • Related Organizations (3)
  • Metrics
Share - Bookmark