Datalog with non-deterministic choice computes NDB-PTIME (Q4208855)
From MaRDI portal
scientific article; zbMATH DE number 1205556
Language | Label | Description | Also known as |
---|---|---|---|
English | Datalog with non-deterministic choice computes NDB-PTIME |
scientific article; zbMATH DE number 1205556 |
Statements
Datalog with non-deterministic choice computes NDB-PTIME (English)
0 references
4 October 1998
0 references
logic database languages
0 references