scientific article; zbMATH DE number 521219
From MaRDI portal
zbMath0785.68025MaRDI QIDQ4284038
Publication date: 28 February 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
axiomatic classesrelational algebrasmany-sorted algebrasalgebraic aspects of database theoryalgebraic model of a database systemenumerable predicatesexperimental universal algebramany-sorted systems
Database theory (68P15) Applications of universal algebra in computer science (08A70) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Cylindric and polyadic algebras; relation algebras (03G15)
Related Items
Multi-sorted logic, models, and logical geometry., Characterization of zigzag De Morgan functions, Unnamed Item, Algebraic logic and logical geometry. Two in one, Complexity of equations valid in algebras of relations. I: Strong non-finitizability, Unnamed Item, Super-De Morgan functions and free De Morgan quasilattices, Multi-sorted logic and logical geometry: some problems., On the geometric equivalence of algebras, Sets with structure, mappings and fixed point property: fixed point structures, \(q\)-bilattices, Syntax versus semantics in knowledge bases – I, Unnamed Item, A set-theoretical representation for weakly idempotent lattices and interlaced weakly idempotent bilattices, Logically automorphically equivalent knowledge bases models, De Morgan functions and free De Morgan algebras., Logic in representations of groups, Freeoids: a semi-abstract view on endomorphism monoids of relatively free algebras, Topological semi-abelian algebras, Structurable Superalgebras of Classical Type, Intrinsic reasoning about functional programs. I: First order theories, Automorphic equivalence in the varieties of representations of Lie algebras, Kulakov algebraic systems on groups, Unnamed Item, Unnamed Item, Geometric view on homogeneous groups, Syntax versus semantics in knowledge bases II, Seven lectures on universal algebraic geometry, Information Algebra, Syntactic Unification as a Geometric Operation in Free Modules over certain Rings, List Objects with Algebraic Structure, Algebraic geometry in varieties of algebras with the given algebra of constants, Semantics of temporal classes, Algebraic Logic and Knowledge Bases, Pseudomatrix groups and physical structures, SUPER-BOOLEAN FUNCTIONS AND FREE BOOLEAN QUASILATTICES
