Alternation-free modal mu-calculus for data trees.

Marcin Jurdzinski Ranko Lazic

Published in: LICS (2007)

Keyphrases

data sets
data collection
image data
data analysis
database
data quality
high quality
data processing
training data
high dimensional data
statistical methods
raw data
original data
noisy data
data structure
high dimensional
xml documents
data sources
data points
database systems
synthetic data
spatial data