Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Richard Hull"'
Publikováno v:
ACM SIGLOG News. 5:37-56
We present an overview of results on verification of temporal properties of infinite-state transition systems arising from processes that carry and manipulate unbounded data. The techniques bring into play tools from logic, database theory, and model
Autor:
Jianwen Su, Richard Hull
Publikováno v:
The Journal of Logic Programming. 35:231-261
Deductive database query languages for recursively typed complex objects based on the set and tuple constructs are studied. A fundamental characteristic of such complex objects is that in them, sets may contain members with arbitrarily deep nesting o