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

Ampersandbig softwareinformation systems designlegal reasoningMirrorMerelation algebrasoftware development

Mathematics Subject Classification ID

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

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

• 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
• 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?)
• 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

(8)

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

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)