scientific article; zbMATH DE number 1086628

MaRDI QIDQ4362876zbMATH OpenFDO

Authors Gunther Schmidt, Claudia Hattensperger, Michael Winter

Publication date 5 June 2001

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15) Heterogeneous algebras (08A68) Applications of universal algebra in computer science (08A70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Relational heterogeneity relaxed by subtyping
• Relation algebras
• Towards a formal framework for heterogeneous relation algebra
• Homomorphisms of heterogeneous algebras

Cited in

(22)

• Arrow categories
• Relation algebra as programming language using the Ampersand compiler
• ER modelling from first relational principles
• Typing theorems of omega algebra
• Towards a formal framework for heterogeneous relation algebra
• Monomorphic characterization of n-ary direct products
• Solving quantifier-free first-order constraints over finite sets and binary relations
• An algebra of database preferences
• Dependencies in relational models of databases
• An algebraic calculus of database preferences
• Relation Algebras, Matrices, and Multi-valued Decision Diagrams
• An algebraic approach to computations with progress
• Lazy Relations
• Multirelations with infinite computations
• An algebraic approach to multirelations and their properties
• Software Development in Relation Algebra with Ampersand
• Type-n Arrow Categories
• Imperative abstractions for functional actions
• Dependences between domain constructions in heterogeneous relation algebras
• On Boolean hyperdoctrines and peircean bicategories
• Normal design algebra
• Relational semigroupoids: abstract relation-algebraic interfaces for finite relations between infinite types

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4362876)