Converging to the Chase -- A Tool for Finite Controllability (Q5271092)
From MaRDI portal
scientific article; zbMATH DE number 6738835
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Converging to the Chase -- A Tool for Finite Controllability |
scientific article; zbMATH DE number 6738835 |
Statements
Converging to the Chase -- A Tool for Finite Controllability (English)
0 references
3 July 2017
0 references
tuple-generating dependencies
0 references
sticky logic
0 references
finite controllability
0 references
