Skip to main content
SpringerLink
Log in

Isotypeness of Models and Knowledge Bases Equivalence

  • Published:
Mathematics in Computer Science Aims and scope Submit manuscript

Abstract

The aim of this work is to study the notions of elementarily equivalent and isotypic knowledge bases. We prove that isotypic knowledge bases are informationally equivalent.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Aho A.V., Sagiv Y., Ullman J.D.: Equivalences among relational expressions. SIAM J. Comput. 8(2), 218–246 (1979)

    Article  MATH  MathSciNet  Google Scholar 

  2. Atzeni P., Aussiello G., Batini C., Moscarini M.: Inclusion and equivalence between relational database schemes. TCS 19, 267–285 (1982)

    Article  MATH  Google Scholar 

  3. Baik K.H., Miller L.L.: Topological approach for testing equivalence in heterogenous relational databases. Comput. J. 33(1), 2–10 (1990)

    Article  MathSciNet  Google Scholar 

  4. Bancillon F.: On the completeness of query language for relational databases. Lect. Notes CS 64, 112–123 (1978)

    Google Scholar 

  5. Baumslag G., Myasnikov A., Remeslennikov V.N.: Algebraic geometry over groups. I. Algebraic sets and ideal theory. J. Algebra 219, 16–79 (1999)

    Article  MATH  MathSciNet  Google Scholar 

  6. Beeri, C., Mendelzon, A., Sagiv, Y., Ullman, J.: Equivalence of relational database schemes. SIAM J. on Computing, 10(2), 352–370 (1981)

    Google Scholar 

  7. Beniaminov E.M.: Galois theory of complete relational subalgebras of algebras of relations, logical structures, symmetry. NTI 2, 17–25 (1980)

    Google Scholar 

  8. Beniaminov, E.M.: Algebraic Methods in Database Theory and Representation of Knowledge (Russian). Nauchnyj Mir, Moscow (2003)

  9. Cannon J.J., Holt D.F.: Automorphism group computation and isomorphism testing in finite groups. J. Symb. Comput. 35(3), 241–267 (2003)

    Article  MATH  MathSciNet  Google Scholar 

  10. Daniyarova Yu.E., Myasnikov A.G., Remeslennikov V.N.: Algebraic geometry over algebraic structures. V. The case of arbitrary signature. Algebra Log. 51(1), 28–40 (2012)

    Article  MATH  MathSciNet  Google Scholar 

  11. Daniyarova, E.Yu., Myasnikov, A.G., Remeslennikov, V.N.: Algebraic geometry over algebraic structures. II. Foundations. Fundam. Appl. Math. 17(1), 65–106 (2011/2012)

  12. Garsia-Molina H., Ullman J.D., Widom J.: Database Systems. The Complete Book. Pearson Prentice Hall, Englewood Cliffs (2009)

    Google Scholar 

  13. Halmos P.: Algebraic Logic. Chelsea Publishing Company, New York (1962)

    MATH  Google Scholar 

  14. Heuer A.: Equivalent schemes in semantic, nested relational, and relational database models. Lect. Notes Comput. Sci. 364, 237–253 (1989)

    Article  Google Scholar 

  15. Hulek K.: Elementary Algebraic Geometry. AMS, Chicago (2000)

    Book  Google Scholar 

  16. Knjazhansky M., Plotkin T.: Knowledge bases over algebraic models: some notes about informational equivalence. Int. J. Knowl. Manag. 8(1), 22–39 (2012)

    Article  Google Scholar 

  17. Krasner M.: Généralisation abstraite de la théorie de Galois. Colloque Int. du CNRS (Algèbre et théorie des nombres) 24, 163–168 (1949)

    MathSciNet  Google Scholar 

  18. Los, J.: Quelques remarques, theor‘emes et probl‘emes sur les classes definissables dalg‘ebres. Mathematical Interpretations of Formal Systems, North-Holland, pp. 98–113 (1955)

  19. Marker D.: Model Theory: An Introduction. Springer, Berlin (2002)

    Google Scholar 

  20. Mendelson E.: Introduction to Mathematical Logic. Van Nostrand, New York (1979)

    MATH  Google Scholar 

  21. Myasnikov A., Remeslennikov V.: Algebraic geometry over groups II, logical foundations. J. Algebra 234(1), 225–276 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  22. O’Brien E.A.: Isomorphism testing for p-groups. J. Symb. Comput. 16(3), 305–320 (1993)

    Article  MathSciNet  Google Scholar 

  23. Plotkin B.: Universal Algebra, Algebraic Logic and Databases. Kluwer, Dordrecht (1993)

    Google Scholar 

  24. Plotkin, B.: Algebras with the same algebraic geometry. In: Proceedings of the Steklov Institute of Mathematics, MIAN, vol. 242, pp. 176–207 (2003)

  25. Plotkin, B.: Algebraic logic and logical geometry in arbitrary varieties of algebras. In: Proceedings of the conference on group theory, Combinatorics and computing, AMS contemporary math series (2014) (to appear)

  26. Plotkin, B., Aladova, E., Plotkin, E.: Algebraic logic and logically-geometric types in varieties of algebras. J. Algebra Appl. 12(2), Paper No. 1250146 (2013)

  27. Plotkin B., Plotkin T.: Geometrical aspect of databases and knowledge bases. Algebra Universalis 46, 131–161 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  28. Plotkin, B., Plotkin, T.: Categories of Elementary Sets Over Algebras and Categories of Elementary Algebraic Knowledge. LNCS, vol. 4800, pp. 555–570. Springer, Berlin (2008)

  29. Plotkin, T.: Relational Databases Equivalence Problem. Advances of Databases and Information Systems, pp. 391–404. Springer, Berlin (1996)

  30. Plotkin, T., Knjazhansky, M.: Symmetries of knowledge bases AMAI (Annals of Mathematics and Artificial Intelligence), Special Issue: Applications of Computer Algebra, vol. 64(4). Springer, Berlin, pp. 369–383 (2012)

  31. Rissanen, J.: On the equivalence of database schemes. In: Proceedings of the ACM Symposium Principles of Database Systems, vol. 1, pp. 22–26 (1982)

  32. Roney-Dougal C.M.: Conjugacy of subgroups of the general linear group. Exp. Math. 13(2), 151–163 (2004)

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Bar Ilan University, Ramat Gan, Israel

    Elena Aladova, Eugene Plotkin & Tatjana Plotkin

Authors
  1. Elena Aladova
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Eugene Plotkin
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Tatjana Plotkin
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Eugene Plotkin.

Additional information

We are very grateful to the anonymous reviewers for their valuable and helpful comments and suggestions.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Aladova, E., Plotkin, E. & Plotkin, T. Isotypeness of Models and Knowledge Bases Equivalence. Math.Comput.Sci. 7, 421–438 (2013). https://doi.org/10.1007/s11786-013-0166-5

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11786-013-0166-5

Keywords

Mathematics Subject Classification (2010)

Search

Navigation