Keyphrases
- specification language
- data mining
- description language
- formal specification
- data mining query language
- programming language
- data transformation
- xml documents
- xml data
- knowledge discovery
- symbolic execution
- relational databases
- requirements specification
- databases
- software environment
- data mining algorithms
- association rules
- data model
- object oriented
- data integration
- markup language
- xml schema
- data mining techniques
- case study
- distributed systems
- real world