Boundedness is undecidable for datalog programs with a single recursive rule (Q1123647)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Boundedness is undecidable for datalog programs with a single recursive rule |
scientific article |
Statements
Boundedness is undecidable for datalog programs with a single recursive rule (English)
0 references
1989
0 references
data processing
0 references
databases
0 references
deductive databases
0 references
boundedness
0 references
datalog
0 references
