scientific article
From MaRDI portal
Publication:3996846
zbMath0769.68018MaRDI QIDQ3996846
Publication date: 17 September 1992
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
Algebraic interpretation of a microprogram finite-state machine with datapath of transitions ⋮ Foundations of the theory of relational database models ⋮ A geometric interpretation of LD-resolution ⋮ Cut technique in valued relational systems: Mainsprings and applications ⋮ Symmetries of knowledge bases ⋮ Systems analysis of life cycle of large-scale information-control systems ⋮ Unnamed Item ⋮ Isotypeness of models and knowledge bases equivalence ⋮ An algebraic approach to knowledge base models informational equivalence ⋮ Bilattices and hyperidentities ⋮ Coordination of parallel partially ordered processes ⋮ A functional completeness theorem for De Morgan functions. ⋮ Algebraic-logical model of an information retrieval system with an interface component ⋮ Design methodology for discrete manufacturing technologies ⋮ Polyadic algebras with terms: A signature-free approach ⋮ Formal methods in computer technologies