An Executable Specification of Typing Rules for Extensible Records based on Row Polymorphism.
Ki Yung AhnPublished in: CoRR (2017)
Keyphrases
- formal specification
- association rules
- ims qti
- process algebra
- databases
- business rules
- database
- model checking
- rule discovery
- production rules
- attribute values
- data model
- association rule mining
- linear temporal logic
- object oriented
- classification rules
- rule sets
- formal methods
- control flow
- data sets
- data mining
- active rules
- e learning
- web services
- application specific
- domain knowledge
- decision rules
- domain experts