Dependencies for Graphs
From MaRDI portal
Publication:5012611
DOI10.1145/3287285zbMath1474.68097MaRDI QIDQ5012611
Publication date: 25 November 2021
Published in: ACM Transactions on Database Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/3287285
keys; axiom system; implication; satisfiability; validation; disjunction; built-in predicates; conditional functional dependencies; graph dependencies
68Q25: Analysis of algorithms and problem complexity
68P15: Database theory
68R10: Graph theory (including graph drawing) in computer science