scientific article; zbMATH DE number 1086628
From MaRDI portal
Publication:4362876
zbMath0961.03061MaRDI QIDQ4362876
Claudia Hattensperger, Gunther Schmidt, Michael Winter
Publication date: 5 June 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Applications of universal algebra in computer science (08A70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Cylindric and polyadic algebras; relation algebras (03G15) Heterogeneous algebras (08A68)
Related Items (21)
Software Development in Relation Algebra with Ampersand ⋮ Type-n Arrow Categories ⋮ ER modelling from first relational principles ⋮ An algebraic approach to computations with progress ⋮ Dependencies in relational models of databases ⋮ Normal design algebra ⋮ An Algebraic Calculus of Database Preferences ⋮ Relation Algebras, Matrices, and Multi-valued Decision Diagrams ⋮ Imperative abstractions for functional actions ⋮ Typing theorems of omega algebra ⋮ Lazy Relations ⋮ Multirelations with infinite computations ⋮ Dependences between domain constructions in heterogeneous relation algebras ⋮ Towards a formal framework for heterogeneous relation algebra ⋮ Monomorphic characterization of \(n\)-ary direct products ⋮ Relational semigroupoids: abstract relation-algebraic interfaces for finite relations between infinite types ⋮ An algebraic approach to multirelations and their properties ⋮ Relation algebra as programming language using the Ampersand compiler ⋮ Solving quantifier-free first-order constraints over finite sets and binary relations ⋮ Arrow categories ⋮ An algebra of database preferences
This page was built for publication:
