TY - JOUR

T1 - Algebraic logic in database state description

AU - Plotkin, T.

AU - Plotkin, Boris Isaakovich

AU - Kraus, S.

PY - 1996

Y1 - 1996

N2 - The Halmos (polyadic) algebra is a notion introduced by Halmos as a tool in the algebraization of the first order predicate calculus. This paper shows how Halmos's theory is used for the definition of algebraic model of a relational database. The model allows, in particular, to develop a formal algebraic approach to the definition of a database state description. The description is based on the notion of filters in Halmos algebras, closely related to the problem of derivability in Halmos algebras and first order language. In this paper, connections between these notions are studied. Using some results on categoricity and D-categoricity of a set of formulas, several examples of database state descriptions are built.

AB - The Halmos (polyadic) algebra is a notion introduced by Halmos as a tool in the algebraization of the first order predicate calculus. This paper shows how Halmos's theory is used for the definition of algebraic model of a relational database. The model allows, in particular, to develop a formal algebraic approach to the definition of a database state description. The description is based on the notion of filters in Halmos algebras, closely related to the problem of derivability in Halmos algebras and first order language. In this paper, connections between these notions are studied. Using some results on categoricity and D-categoricity of a set of formulas, several examples of database state descriptions are built.

UR - https://scholar.google.co.il/scholar?q=Algebraic+logic+in+database+state+description++&btnG=&hl=en&as_sdt=0%2C5

UR - https://scholar.google.co.il/scholar?q=+%09%09%09Algebraic+Logic+in+Database+State+Description&btnG=&hl=en&as_sdt=0%2C5

M3 - Article

VL - 2

SP - 875

EP - 910

JO - Fundamentalnaya i Prikladnaya Matematika (Moscow)

JF - Fundamentalnaya i Prikladnaya Matematika (Moscow)

IS - 3

ER -