Symmetries of knowledge bases

Authors:
Tatjana Plotkin;Marina Knyazhansky
Affiliations:
Bar-Ilan University, Ramat-Gan, Israel;Shamoon College of Engineering, Ashdod, Israel
Venue:
Annals of Mathematics and Artificial Intelligence
Year:
2012

Citing 14
Cited 0

Introduction to mathematical logic; (3rd ed.)

Introduction to mathematical logic; (3rd ed.)
Principles of database and knowledge-base systems, Vol. I

Principles of database and knowledge-base systems, Vol. I
Topological approach for testing equivalence in heterogeneous relational databases

The Computer Journal - Special issue on databases
The equivalence problem of multitape finite automata

Theoretical Computer Science
Isomorphism testing for p-groups

Journal of Symbolic Computation
Universal Algebra, Algebraic Logic, and Databases

Universal Algebra, Algebraic Logic, and Databases
On equivalences of database schemes

PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
Relational Database Equivalence Problem

ADBIS '95 Proceedings of the Second International Workshop on Advances in Databases and Information Systems
Model-Theoretical and Deductive Approaches to Databases from the Point of Algebraic Logic and Geometry

ADBIS '95 Proceedings of the Second International Workshop on Advances in Databases and Information Systems
Equivalent Schemes in Semantic, Nested Relational, and Relational Database Models

MFDBS '89 Proceedings of the 2nd Symposium on Mathematical Fundamentals of Database Systems
Automorphism group computation and isomorphism testing in finite groups

Journal of Symbolic Computation
Equivalence of relational database schemes

STOC '79 Proceedings of the eleventh annual ACM symposium on Theory of computing
Elementary Logic: For Software Development

Elementary Logic: For Software Development
Categories of elementary sets over algebras and categories of elementary algebraic knowledge

Pillars of computer science

Quantified Score

Hi-index	0.00

Visualization

Abstract

Knowledge base theory stimulates numerous applications of computer algebra and symbolic computations. The paper is aimed to explain how the general ideas of Galois theory work for knowledge bases and help to determine the criterion of knowledge bases informational equivalence. This criterion reduces the problem of informational equivalence of knowledge bases to the conjugacy problem for groups. We give a survey of recent results and outline prospective problems.