Certifying Standard and Stratified Datalog Inference Engines in SSReflect-Reference-Cited by-同舟云学术

Certifying Standard and Stratified Datalog Inference Engines in SSReflect

Published:2017 Issue: Volume: Page:171-188
ISSN:0302-9743
Container-title:Interactive Theorem Proving
language:
Short-container-title:

Author:

Benzaken Véronique,Contejean Évelyne,Dumbrava Stefania

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-66107-0_12

Reference34 articles.

1. Lecture Notes in Computer Science,2012

2. Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Boston (1995)

3. Apt, K.R., Blair, H.A., Walker, A.: Foundations of Deductive Databases and Logic Programming. Morgan Kaufmann Publishers Inc., San Francisco (1988)

4. Aref, M., ten Cate, B., Green, T.J., Kimelfeld, B., Olteanu, D., Pasalic, E., Veldhuizen, T.L., Washburn, G.: Design and implementation of the LogicBlox system. In: SIGMOD ACM Proceedings of ICMD, pp. 1371–1382 (2015)

5. Bagan, G., Bonifati, A., Ciucanu, R., Fletcher, G.H.L., Lemay, A., Advokaat, N.: gMark: schema-driven generation of graphs and queries. IEEE TKDE 29, 856–869 (2017)

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Isabelle-verified correctness of Datalog programs for program analysis;Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing;2024-04-08

2. Developing and certifying Datalog optimizations in coq/mathcomp;Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs;2021-01-17

3. A mechanized formalization of GraphQL;Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs;2020-01-20

4. Certified Graph View Maintenance with Regular Datalog;Theory and Practice of Logic Programming;2018-07

5. A Coq Formalisation of SQL’s Execution Engines;Interactive Theorem Proving;2018