Declarative PTIME queries for relational databases using quantifier elimination (Q4934813): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
Normalize DOI.
 
Property / DOI
 
Property / DOI: 10.1093/logcom/9.5.737 / rank
Normal rank
 
Property / DOI
 
Property / DOI: 10.1093/LOGCOM/9.5.737 / rank
 
Normal rank

Latest revision as of 15:24, 30 December 2024

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
    0 references
    0 references
    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

    Identifiers