The Z notation: a reference manual
The Z notation: a reference manual
Relational methods in computer science
Relational methods in computer science
Heterogeneous relation algebra
Relational methods in computer science
Towards a formal framework for heterogeneous relation algebra
Information Sciences: an International Journal - Relational methods in computer science
What not how: the business rules approach to application development
What not how: the business rules approach to application development
A relational model of data for large shared data banks
Communications of the ACM
Relational Theory of Computing
Relational Theory of Computing
Software Abstractions: Logic, Language, and Analysis
Software Abstractions: Logic, Language, and Analysis
Typing haskell with an attribute grammar
AFP'04 Proceedings of the 5th international conference on Advanced Functional Programming
Relational heterogeneity relaxed by subtyping
RAMICS'11 Proceedings of the 12th international conference on Relational and algebraic methods in computer science
Progressive Development and Teaching with RAP
Proceedings of the 3rd Computer Science Education Research Conference on Computer Science Education Research
An essential language for declarative business rules
Proceedings of the 3rd Computer Science Education Research Conference on Computer Science Education Research
| Hi-index | 0.00 |
Relation algebra can be used to specify information systems and business processes. It was used in practice in two large IT projects in the Dutch government. But which are the features that make relation algebra practical? This paper discusses these features and motivates them from an information system designer's point of view. The resulting language, Ampersand 1, is a syntactically sugared version of relation algebra. It is a typed language, which is supported by a compiler. The design approach, also called Ampersand, uses software tools that compile Ampersand scripts into functional specifications. This makes Ampersand interesting as an application of relation algebra in the industrial practice. The purpose of this paper is to define Ampersand and motivate its features from a practical perspective. This work is part of the research programme of the Information Systems & Business Processes (IS&BP) department of the Open University.