No Cliques Allowed: The Next Step Towards BDD/FC Conjecture

Συγγραφείς: Larroque, Lucas, Ostropolski-Nalewaja, Piotr, Thomazo, Michaël

Συνεισφορές: Thomazo, Michaël

Πηγή: Proceedings of the ACM on Management of Data. 3:1-20

Θεματικοί όροι: Bounded Derivation Depth Property, CCS Concepts: Theory of computation → Constraint and logic programming Finite Model Theory Automated reasoning Logic and databases Chase, Logic and databases Chase, Automated reasoning, CCS Concepts, Finite unification sets, TGDs, FC/BDD Conjecture, Theory of computation → Constraint and logic programming, [INFO.INFO-DB] Computer Science [cs]/Databases [cs.DB], Existential Rules, Tuple Generating Dependencies, BDD, FO-Rewritability, Finite Model Theory, FUS, Finite Controllability

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://inria.hal.science/hal-05273623v1/document
https://inria.hal.science/hal-05273623v1
https://doi.org/10.1145/3725238