Software Development in Relation Algebra with Ampersand
DOI10.1007/978-3-319-57418-9_11zbMATH Open1486.68042OpenAlexW2609030187MaRDI QIDQ5283210FDOQ5283210
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
Recommendations
- Ampersand. Applying relation algebra in practice
- Relation algebra as programming language using the Ampersand compiler
- scientific article
- scientific article
- 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
relation algebrasoftware developmentlegal reasoningAmpersandinformation systems designbig softwareMirrorMe
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)
Cites Work
- Computer Algebra in Scientific Computing
- Title not available (Why is that?)
- Ampersand. Applying relation algebra in practice
- A relational model of data for large shared data banks
- Relation algebras
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Computational social choice using relation algebra and RelView
- Can programming be liberated from the von Neumann style?
- Towards an algebraic specification of code generation
- Relational heterogeneity relaxed by subtyping
- Type Checking by Domain Analysis in Ampersand
- Parsing and printing of and with triples
Cited In (7)
- Title not available (Why is that?)
- Development of \(n\)-tuple algebra for logical analysis of databases with the use of two-place predicates
- Relation algebra as programming language using the Ampersand compiler
- Parsing and printing of and with triples
- Relational and Kleene-Algebraic Methods in Computer Science
- Finding models through graph saturation
- Ampersand. Applying relation algebra in practice
Uses Software
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)