Declarative PTIME queries for relational databases using quantifier elimination (Q4934813)
From MaRDI portal
scientific article; zbMATH DE number 1394593
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Declarative PTIME queries for relational databases using quantifier elimination |
scientific article; zbMATH DE number 1394593 |
Statements
Declarative PTIME queries for relational databases using quantifier elimination (English)
0 references
30 January 2000
0 references
semi-Horn query language
0 references
relational deductive databases
0 references
declarative query language
0 references
SHQL
0 references
