License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.STACS.2018.6
URN: urn:nbn:de:0030-drops-85288
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2018/8528/
Adler, Isolde ;
Harwath, Frederik
Property Testing for Bounded Degree Databases
Abstract
Aiming at extremely efficient algorithms for big data sets, we introduce property testing of relational databases of bounded degree. Our model generalises the bounded degree model for graphs (Goldreich and Ron, STOC 1997). We prove that in this model, if the databases have bounded tree-width, then every query definable in monadic second-order logic with modulo counting is testable with a constant number of oracle queries and polylogarithmic running time. This is the first logical meta-theorem in property testing of sparse models. Furthermore, we discuss conditions for the existence of uniform and non-uniform testers.
BibTeX - Entry
@InProceedings{adler_et_al:LIPIcs:2018:8528,
author = {Isolde Adler and Frederik Harwath},
title = {{Property Testing for Bounded Degree Databases}},
booktitle = {35th Symposium on Theoretical Aspects of Computer Science (STACS 2018)},
pages = {6:1--6:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-062-0},
ISSN = {1868-8969},
year = {2018},
volume = {96},
editor = {Rolf Niedermeier and Brigitte Vall{\'e}e},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2018/8528},
URN = {urn:nbn:de:0030-drops-85288},
doi = {10.4230/LIPIcs.STACS.2018.6},
annote = {Keywords: logic and databases, property testing, logical meta-theorems, bounded degree model, sublinear algorithms}
}
Keywords: |
|
logic and databases, property testing, logical meta-theorems, bounded degree model, sublinear algorithms |
Collection: |
|
35th Symposium on Theoretical Aspects of Computer Science (STACS 2018) |
Issue Date: |
|
2018 |
Date of publication: |
|
27.02.2018 |