Impure Simplicial Complexes: Complete Axiomatization.

Rojo Fanamperana Randrianomentsoa Hans van Ditmarsch Roman Kuznets

Published in: Log. Methods Comput. Sci. (2023)

Keyphrases

complete axiomatization
inclusion dependencies
integrity constraints
databases
multi dimensional
nearest neighbor
decision support
functional dependencies
complex objects
normal form
inference rules