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
default for all languages
No label defined
    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