功能性问题解答

分布合成（DisCo）模型是根据单词的意思计算句子意思的函子。我们表明，集合和关系类别中的DisCo模型精确地对应于关系数据库。因此，我们得到了从自然语言片段的语义和蕴涵到联合查询的评估和包含的复杂性理论约简。最后，我们将问答定义为一个NP完全问题。