Proofs as Relational Invariants of Synthesized Execution Grammars.
Caleb VossDavid HeathWilliam HarrisPublished in: CoRR (2017)
Keyphrases
- relational databases
- data model
- execution model
- relational data
- database schema
- context free grammars
- relational model
- theorem proving
- context free
- invariant features
- natural language
- affine invariant
- data flow
- theorem prover
- multi relational
- query plan
- query optimization
- feature vectors
- formal proof
- visual languages
- equational theories