Ampersand

Ampersand copied to clipboard

Mapping named things: concepts, relations, rules, interfaces, etc.

3

## Problem As an Ampersand user, I may want to reuse an existing dataset for many reasons. For example, I might want to add new functionality, I may want to...

stefjoosten

Make the Ampersand compiler read a dataset, to prepare for migration

1

## Problem As a migration engineer, I want to use the population in an existing database as part of the initial population of a migrated database. ## Solution I want...

stefjoosten

Compile-time evaluation of enforcement rules

2

# Problem In an Ampersand script with enforcement rule `R`, I can reason as if `R` is always true because the exec engine keeps it true at all times. However,...

stefjoosten

Check whether a given deployment implements a given schema

1

As a software engineer, I want to know whether a system running in production is an implementation of a given schema, so I can generate services (interfaces or rules) in...

stefjoosten

At compile time, we want to extract the schema from an Ampersand-script. The schema is the Ampersand-script without the INTERFACEs and without the population. This is necessary when preparing a...

stefjoosten

Implement Cork rules

1

As a user of a generated Ampersand prototype, I want to switch invariant rules to process rules and vice versa, provided I have sufficient management privileges within the prototype framework....

stefjoosten

Enhancement: Namespaces

6

A long-awaited feature of Ampersand is that of having namespaces. In the discussions of the past, we found that having a module structure as Haskell has, would enable namespaces. I...

hanjoosten

Need for a `sessionV` relation?

5

As I am exercising the CRUD functionality of branch_#228 in the UETP project, I run into the situation where a user is editing a (nested) object, and as (s)he does...

RieksJ

# Problem An information system specified by an Ampersand specification is subject to type checking. For this purpose, the theory introduces the *schema* concept, isolating all information needed by the...

stefjoosten

When I need a helper relation (e.g. with transitive closures), I sometimes need to delete the entire population of that relation. It would be very nice to have a PHP...

stefjoosten