SQL证书

文档

索引

来源

编译：提取归档文件，运行“./build_make”，然后用coq.8.6.1运行“make”。

Tar存档

附录，概念证明

在文件中定义和计算论文中的Q1到Q14查询plugins/sql_parser/SqlExamples.v，而所需的辅助文件在数据/概念验证.

文档

索引

来源

编译：提取归档文件，运行“./build_make”，然后用coq.8.6.1运行“make”。

Tar存档

这份文件是从L^AT_EX通过H^E五^EA.