Discovering Graph Functional Dependencies

Wenfei Fan,Chunming Hu,Xueli Liu,Ping Lu
DOI: https://doi.org/10.1145/3183713.3196916
IF: 1.6289
2020-01-01
ACM Transactions on Database Systems
Abstract:This paper studies discovery of GFDs, a class of functional dependencies defined on graphs. We investigate the fixed-parameter tractability of three fundamental problems related to GFD discovery. We show that the implication and satisfiability problems are fixed-parameter tractable, but the validation problem is co-W[1]-hard. We introduce notions of reduced GFDs and their topological support, and formalize the discovery problem for GFDs. We develop algorithms for discovering GFDs and computing their covers. Moreover, we show that GFD discovery is feasible over large-scale graphs, by providing parallel scalable algorithms for discovering GFDs that guarantee to reduce running time when more processors are used. Using real-life and synthetic data, we experimentally verify the effectiveness and scalability of the algorithms.
What problem does this paper attempt to address?