No label defined (Q4249219)
From MaRDI portal
scientific article; zbMATH DE number 1302667
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1302667 |
Statements
31 January 2002
0 references
relational database
0 references
infinite domain
0 references
recursive domain
0 references
decidable theory
0 references
state-safety problem
0 references
ordered domain
0 references
order queries
0 references
finitely representable database states
0 references
