Journal of Logic and Computation. 1999;9(5):737-758. doi: 10.1093/logcom/9.5.737 Q40.72025

Declarative PTIME queries for relational databases using quantifier elimination

使用量词消除的关系数据库声明性PTIME查询

DOI: 10.1093/logcom/9.5.737

摘要 查看摘要

Copyright © Journal of Logic and Computation. 中文内容为AI机器翻译，仅供参考！