A Revised and Verified Proof of the Scalable Commutativity Rule.
Lillian TsaiEddie KohlerM. Frans KaashoekNickolai ZeldovichPublished in: CoRR (2018)
Keyphrases
- real time
- multiscale
- logical rules
- rule mining
- web scale
- rule learning
- theorem proving
- lightweight
- genetic programming
- association rule mining
- classification rules
- rule sets
- association rules
- information systems
- social networks
- rule discovery
- memory efficient
- rule generation
- genetic algorithm
- update operations
- linear logic
- database