Stef Joosten

Insert into a univalent relation should give the correct error message.

4

# What happened When experimenting with enforcement rules, I tried the following script: ```Ampersand CONTEXT Issue1420 RELATION r[S*T] RELATION s[S*T] [UNI] POPULATION r[S*T] CONTAINS [ ("aap","noot"), ("aap","mies") ] ENFORCE s...

An automatic rule produces a yellow violation

2

# What happened I got a yellow error message: I traced it back to the following code fragment: ```Ampersand ENFORCE realization[CommunicationNetwork*ApplicationInterface] >: realization;I[ApplicationComponent];serving ``` I have checked that the relations...

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...

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...

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,...

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...

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...

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....

# 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...

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...