next up previous contents
Next: Can Edna earn Up: Sample Runs Previous: What is Edna's

Examples of Modal Queries

 

These examples illustrate modal queries. They allow the user to query whether a particular state of affairs could be arranged in the database by an update without breaking constraints on the database.

This part of the system makes use of a mirror of the database, as most commercial systems forbid the querying of constraints for security reasons.

Note that modal queries are disabled on the online demonstrator.





Chris Fox, September 1995