Software Development in Relation Algebra with Ampersand

DOI10.1007/978-3-319-57418-9_11MaRDI QIDQ5283210zbMATH OpenOpenAlexFDO

Authors Stef Joosten

Publication date 21 July 2017

Published in Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-57418-9_11

zbMATH Keywords

relation algebrasoftware developmentlegal reasoningAmpersandinformation systems designbig softwareMirrorMe

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Database theory (68P15) Cylindric and polyadic algebras; relation algebras (03G15)

Recommendations

• Ampersand. Applying relation algebra in practice
• Relation algebra as programming language using the Ampersand compiler
• scientific article; zbMATH DE number 4213464
• scientific article; zbMATH DE number 4206000
• Relational and algebraic methods in computer science
• Relational and algebraic methods in computer science
• Relational and algebraic methods in computer science
• scientific article; zbMATH DE number 67020
• Adding relational query facilities to software development environments
• On the role of logic and algebra in software engineering

Cites work

• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 3936465 (Why is no real title available?)
• scientific article; zbMATH DE number 43417 (Why is no real title available?)
• scientific article; zbMATH DE number 42431 (Why is no real title available?)
• scientific article; zbMATH DE number 1086628 (Why is no real title available?)
• A relational model of data for large shared data banks
• Ampersand. Applying relation algebra in practice
• Can programming be liberated from the von Neumann style?
• Computational social choice using relation algebra and RelView
• Computer Algebra in Scientific Computing
• Parsing and printing of and with triples
• Relation algebras
• Relational heterogeneity relaxed by subtyping
• Towards an algebraic specification of code generation
• Type Checking by Domain Analysis in Ampersand

Cited in

(7)

• scientific article; zbMATH DE number 2061058 (Why is no real title available?)
• Development of \(n\)-tuple algebra for logical analysis of databases with the use of two-place predicates
• Parsing and printing of and with triples
• Finding models through graph saturation
• Ampersand. Applying relation algebra in practice
• Relational and Kleene-Algebraic Methods in Computer Science
• Relation algebra as programming language using the Ampersand compiler

Describes a project that uses

Uses Software

• RelView
• Z
• Ampersand

This page was built for publication: Software Development in Relation Algebra with Ampersand

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