Many concepts identified by the DQL abstract syntax are also identified in the survey paper.
DQL | survey |
---|---|
query pattern | goal |
must-bind variables list and may-bind variables list | variable boundness and bindings list |
query premise | @@@ |
justification request | proof |
answer bundle | report |
answer bundle size bound | number of rows |
answer set | bindings |
query answer | report or assertions |
pattern restriction | goal characteristics |
answer KB pattern | - |
query | - |
server | - |
server continuation | - |
binding set | ??? |
5 of 17 |