A Single Approach to Decide Chase Termination on Linear Existential Rules (Q5091131)
From MaRDI portal
scientific article; zbMATH DE number 7561478
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Single Approach to Decide Chase Termination on Linear Existential Rules |
scientific article; zbMATH DE number 7561478 |
Statements
21 July 2022
0 references
chase
0 references
tuple generating dependencies
0 references
existential rules
0 references
decidability
0 references
0 references
0 references
A Single Approach to Decide Chase Termination on Linear Existential Rules (English)
0 references
