Implication and Axiomatization of Functional Constraints on Patterns with an Application to the RDF Data Model

Abstract. Akhtar et al. introduced equality-generating constraints and functional constraints as an initial step towards dependency-like integrity constraints for RDF dat