| |
| arity | | m |
| attribute constraint | | m |
| base relation | | m |
| Bucket Method | | m |
| canonical database | | m |
| cardinality | | m |
| certain answers | | m |
| closed program | | m |
| constraint | | m |
| database | | m |
| Datalog | | m |
| datum | | m |
| dependency graph | | m |
| Disjunctive Datalog | | m |
| domain | | m |
| Enhanced Datalog | | m |
| enhanced domain | | m |
| exclusion condition | | m |
| executable query plan | | m |
| extension | | m |
| flattening | | m |
| Functional Datalog | | m |
| functional term | | m |
| GAV integration | | m |
| global as view integration | | m |
| inclusion dependency | | m |
|
|
| input base | | m |
| Inverse Method | | m |
| LAV integration | | m |
| literal | | m |
| local as view integration | | m |
| maximal query plan | | m |
| model | | m |
| model-centric integration | | m |
| minimal model | | m |
| open program | | m |
| output base | | m |
| positive program | | m |
| proposition | | m |
| propositional base | | m |
| query | | m |
| query containment | | m |
| query equivalence | | m |
| query folding | | m |
| relational data model | | m |
| retrievable query plan | | m |
| schema | | m |
| sentential data model | | m |
| signature | | m |
| source-based integration | | m |
| truly disjunctive rules | | m |
| Unijoin Algorithm | | m |
|
|
| view relation | | m |
| witness | | m |
|