A first step towards implementing Dynamic Algebraic Dependencies (1995)
by
N. Bidoit
,
S. De Amo
| Venue: | Theoretical Computer Science |
| Citations: | 7 - 0 self |
BibTeX
@INPROCEEDINGS{Bidoit95afirst,
author = {N. Bidoit and S. De Amo},
title = {A first step towards implementing Dynamic Algebraic Dependencies},
booktitle = {Theoretical Computer Science},
year = {1995},
pages = {2--190},
publisher = {Springer Verlag}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We present a class of dynamic constraints (DADs) which are of practical interest and allows one to express restrictions such as if some property hold now, then in the past some other property should have been true. The paper investigates in a constructive manner the definition of transaction-based specifications equivalent to DAD-constraint-based specifications.
