Datalog programs and their persistency numbers (Q5277729)
From MaRDI portal
scientific article; zbMATH DE number 6743972
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Datalog programs and their persistency numbers |
scientific article; zbMATH DE number 6743972 |
Statements
Datalog programs and their persistency numbers (English)
0 references
12 July 2017
0 references
boundedness
0 references
Datalog
0 references
bounded-tree width hypergraphs
0 references
finite automata
0 references
persistency numbers
0 references
persistent variables
0 references
program transformations
0 references
