Answering FO+MOD queries under updates on bounded degree databases (Q3174897)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6905158
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Answering FO+MOD queries under updates on bounded degree databases |
scientific article; zbMATH DE number 6905158 |
Statements
18 July 2018
0 references
dynamic databases
0 references
query enumeration
0 references
counting problem
0 references
first-order logic with modulo-counting quantifiers
0 references
Hanf locality
0 references
0.997899293899536
0 references
0.799594521522522
0 references
0.772132396697998
0 references
0.770693838596344
0 references
0.7616101503372192
0 references
