Publication:3996846
From MaRDI portal
zbMath0769.68018MaRDI QIDQ3996846
Publication date: 17 September 1992
axiomatic classes; relational algebras; many-sorted algebras; algebraic aspects of database theory; algebraic model of a database system; enumerable predicates; experimental universal algebra; many-sorted systems
68P15: Database theory
08A70: Applications of universal algebra in computer science
68-02: Research exposition (monographs, survey articles) pertaining to computer science
03G15: Cylindric and polyadic algebras; relation algebras
Related Items
Unnamed Item, A geometric interpretation of LD-resolution, Coordination of parallel partially ordered processes, Algebraic-logical model of an information retrieval system with an interface component, Design methodology for discrete manufacturing technologies, Formal methods in computer technologies, Foundations of the theory of relational database models, Cut technique in valued relational systems: Mainsprings and applications, An algebraic approach to knowledge base models informational equivalence