| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 432107 | The Journal of Logic and Algebraic Programming | 2006 | 15 Pages |
Abstract
We use relational algebra for describing sets and sets of sets and for computing all fixed points of certain functions on powersets. The method is illustrated by some examples from different problem domains, and results of our practical experiments with the RelView system are reported.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
