next up previous contents
Next: Domains Up: No Title Previous: Datalog and the Relational

Adding Computation Domains

In this chapter we will add different constraint domains to our language, and we will see how they greatly expand its usefulness. Several examples, which could not have been realised before, will be developed here.