Abstract
It has been shown that the design of deterministic programs can be formulated as the resolution of relational equations. Because relational calculi are not sufficiently structured, there are no algorithmic solutions to relational equations. In this paper, we formulate some heuristic solutions to these equations.
| Original language | English (US) |
|---|---|
| Pages (from-to) | 239-276 |
| Number of pages | 38 |
| Journal | Acta Informatica |
| Volume | 24 |
| Issue number | 3 |
| DOIs | |
| State | Published - Jun 1 1987 |
| Externally published | Yes |
All Science Journal Classification (ASJC) codes
- Software
- Information Systems
- Computer Networks and Communications