SQL证书

文档

索引

来源

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

Tar存档

附录,概念证明

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

文档

索引

来源

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

Tar存档


这份文件是从LATEX通过HEEA.