Model theory of XPath on data trees. Part II: Binary bisimulation and definability.
Sergio AbriolaMaría Emilia DescotteSantiago FigueiraPublished in: Inf. Comput. (2017)
Keyphrases
- simulation data
- empirical data
- database
- raw data
- computational model
- data processing
- measured data
- test data
- experimental data
- data sets
- probabilistic model
- data collection
- prior knowledge
- data structure
- theoretical framework
- data analysis
- mathematical model
- probability distribution
- input data
- knowledge discovery
- data points
- missing data
- tree structure
- xml documents
- rough sets
- formal model
- objective function
- high level