Learning and verifying quantified boolean queries by example

Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems

Volumn , Issue , 2013, Pages 49-60

  Abouzied, Azza ^a   Angluin, Dana ^a   Papadimitriou, Christos ^b   Hellerstein, Joseph M ^b   Silberschatz, Avi ^a  

^a YALE UNIVERSITY   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Example driven synthesis; Qhorn; Quantified boolean queries; Query learning; Query verification

Indexed keywords

BOOLEAN QUERIES; DATA OBJECTS; DATABASE QUERIES; POLYNOMIAL-TIME; QHORN; QUERY LEARNING; SPECIAL CLASS; VERIFICATION ALGORITHMS;

EID: 84880534299     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2463664.2465220     Document Type: Conference Paper

References (18)

1. A. Abouzied et al. Learning and verifying quantified boolean queries by example. arXiv: 1304.4303 [cs.DB].
2. A. Abouzied, J. Hellerstein, and A. Silberschatz. Dataplay: interactive tweaking and example-driven correction of graphical database queries. In UIST, 2012.
3. D. Angluin. Queries and concept learning. Mach. Learn., 2(4): 319-342, 1988.
4. D. Angluin, M. Frazier, and L. Pitt. Learning conjunctions of horn clauses. In COLT, 1990.
5. D. Angluin, L. Hellerstein, and M. Karpinski. Learning read-once formulas with queries. J. ACM, 40(1): 185-210, 1993.
6. M. Anthony et al. On exact specification by examples. In COLT, 1992.
7. A. Das Sarma et al. Synthesizing view definitions from data. In ICDT, 2010.
8. S. A. Goldman and M. J. Kearns. On the complexity of teaching. In COLT, 1991.
9. J. Goldsmith and R. H. Sloan. New horn revision algorithms. J. Mach. Learn. Res., 6: 1919-1938, Dec. 2005.
10. D. Haussler. Learning conjunctive concepts in structural domains. Mach. Learn., 4(1): 7-40, 1989.
11. M. J. Kearns and U. V. Vazirani. An introduction to computational learning theory. MIT Press, Cambridge, MA, USA, 1994.
12. R. Khardon. Learning first order universal horn expressions. In COLT, 1998.
13. P. Reisner. Use of psychological experimentation as an aid to development of a query language. IEEE Trans. on Soft. Eng., SE-3(3): 218-229, 1977.
14. A. Shinohara and S. Miyano. Teachability in computational learning. New Gen. Comput., 8(4): 337-347, 1991.
15. S. Staworko and P. Wieczorek. Learning twig and path queries. In ICDT, 2012.
16. B. ten Cate, V. Dalmau, and P. G. Kolaitis. Learning schema mappings. In ICDT, 2012.
17. Q. T. Tran, C. Chan, and S. Parthasarathy. Query by output. In SIGMOD, 2009.
18. L. G. Valiant. A theory of the learnable. CACM, 27(11): 1134-1142, 1984.