Generating plans from proofs : the interpolation-based approach to query reformulation (e-book)
Generating plans from proofs : the interpolation-based approach to query reformulation (e-book)
- San Rafael Morgan and Claypool / IEEE Press / Springer 2016
- Synthesis lectures on data management .
IEEE Morgan and Claypool Computer and Information Science (CIS) collection
978-1-62705-942-8
Querying (Computer science)
Data mining
Data integration (Computer science)
Craig interpolation
IEEE Morgan and Claypool Computer and Information Science (CIS) collection
978-1-62705-942-8
Querying (Computer science)
Data mining
Data integration (Computer science)
Craig interpolation