Information algebras and consequence operators

DOI10.1007/s11787-006-0007-2zbMath1116.03024MaRDI QIDQ874751

Jürg Kohlas, Robert F. Stärk

Publication date: 10 April 2007

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

Full work available at URL: https://doi.org/10.1007/s11787-006-0007-2

zbMATH Keywords

algebraic specification; relational databases; constraint systems; module algebra; consequence operators; information representation

Mathematics Subject Classification ID

68P15: Database theory

68T30: Knowledge representation

03B70: Logic in computer science

08A70: Applications of universal algebra in computer science

68Q65: Abstract data types; algebraic specification

03G25: Other algebras related to logic

03B22: Abstract deductive systems