scientific article; zbMATH DE number 1086628

zbMATH Open0961.03061MaRDI QIDQ4362876FDOQ4362876

Authors: Gunther Schmidt, Claudia Hattensperger, Michael Winter 

Publication date: 5 June 2001

Title of this publication is not available (Why is that?)

Recommendations

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

Mathematics Subject Classification ID

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

Cited In (21)

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

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)