Problems of equivalence, categoricity of axioms and states description in databases

DOI10.1023/A:1005066020883zbMath0967.68056OpenAlexW1573666807MaRDI QIDQ1580647

Sarit Kraus, Boris I. Plotkin, Tatjana Plotkin

Publication date: 28 September 2000

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1005066020883

zbMATH Keywords

algebraic logicdatabases

Mathematics Subject Classification ID

Database theory (68P15) Logic in computer science (03B70) Cylindric and polyadic algebras; relation algebras (03G15)

This page was built for publication: Problems of equivalence, categoricity of axioms and states description in databases