Variable independence for first-order definable constraints (Q5267438)
From MaRDI portal
scientific article; zbMATH DE number 6729815
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Variable independence for first-order definable constraints |
scientific article; zbMATH DE number 6729815 |
Statements
Variable independence for first-order definable constraints (English)
0 references
13 June 2017
0 references
first-order logic
0 references
definable sets
0 references
linear constraints
0 references
polynomial constraints
0 references
spatio-temporal databases
0 references
variable independence
0 references
