On the Complete Axiomatization for Prefix Iteration modulo Observation Congruence.

Taolue Chen Tingting Han Jian Lu

Published in: Acta Cybern. (2006)

Keyphrases

complete axiomatization
data structure
objective function
socio technical
database
data analysis
inclusion dependencies
prefix tree