Geometrical aspect of databases and knowledge bases.

DOI10.1007/PL00000333MaRDI QIDQ1771865zbMATH OpenFDO

Authors T. Plotkin, B. Plotkin

Publication date 19 April 2005

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/PL00000333

zbMATH Keywords

algebraic varietydatabasesknowledge basesvariety of algebras

Mathematics Subject Classification ID

Applications of universal algebra in computer science (08A70) Database theory (68P15) Knowledge representation (68T30)

Review text

The paper is devoted to a universal-algebraic approach to formal foundations of databases and knowledge bases. The main goal is to represent non-elementary knowledge about elementary knowledge (first-order knowledge). To this end, the authors invoke methods of algebraic logic and universal-algebraic geometry. The basic assumptions are that knowledge is represented by three components: 1) description of knowledge (syntactical part of knowledge, formulas); 2) subject of knowledge (an object in the field of application, model); 3) content of knowledge (semantics). The content of knowledge is determined by the description of knowledge (a set \(T\) of formulas) and a subject of knowledge (a triple \((G,O,f)\), where \(G\) is a multisorted algebra, \(O\) is a set of relation symbols and \(f\) the interpretation of \(O\) in \(G\)). The paper shows how to equip the content of knowledge, \(Tf\), with a structure to study algebraic and geometric aspects of this structure. Emphasized are three aspects of representation of knowledge: logical (knowledge, description), algebraic (the subject of knowledge), and geometric (the content of knowledge). Preliminary notions are surveyed in Section 1. Section 2 presents basics of logic, Section 3 is about categories of algebraic sets, Section 4 is about Galois theory and so-called Halmos algebras. Sections 5--7 contain the main result, Section 5 deals with categories of elementary knowledge, Section 6 presents a formal model of databases and knowledge bases, Section 7 presents results on equivalences of databases and knowledge bases.

Recommendations

• scientific article; zbMATH DE number 431773
• Geometric query types for data retrieval in relational databases
• On the design and implementation of a geometric knowledge base
• Geometry of knowledge for intelligent systems.
• A geometrically enhanced conceptual model and query language
• Logical aspects of spatial databases
• scientific article; zbMATH DE number 4080979
• Geometries of knowledge

Cited in

(17)

• Algebraic geometry in first-order logic
• Symmetries of knowledge bases
• Isotypeness of models and knowledge bases equivalence
• An algebraic approach to knowledge base models informational equivalence
• Semiotic aspects of generalized bases of data
• Multi-sorted logic, models, and logical geometry.
• Algebraic logic and logical geometry. Two in one
• Geometric query types for data retrieval in relational databases
• Syntax versus semantics in knowledge bases – I
• scientific article; zbMATH DE number 1429687 (Why is no real title available?)
• Logically automorphically equivalent knowledge bases models
• Geometric view on homogeneous groups
• Syntax versus semantics in knowledge bases II
• Seven lectures on universal algebraic geometry
• Freeoids: a semi-abstract view on endomorphism monoids of relatively free algebras
• Mathematical Foundations of Computer Science 2005
• Data analysis using a geometrical representation of predicate calculus

This page was built for publication: Geometrical aspect of databases and knowledge bases.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1771865)