Please use this identifier to cite or link to this item:
http://hdl.handle.net/1942/16440
Title: | Implication and Axiomatization of Functional Constraints on Patterns with an Application to the RDF Data Model | Authors: | HELLINGS, Jelle GYSSENS, Marc Paredaens, Jan Wu, Yuqing |
Issue Date: | 2014 | Publisher: | Springer | Source: | Beierle, Christoph; Meghini, Carlo (Ed.). Foundations of Information and Knowledge Systems: 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014, Proceedings, p. 250-269 | Series/Report: | Lecture Notes in Computer Science | Series/Report no.: | 8367 | Abstract: | Akhtar et al. introduced equality-generating constraints and functional constraints as an initial step towards dependency-like integrity constraints for RDF data [1]. Here, we focus on functional constraints. The usefulness of functional constraints is not limited to the RDF data model. Therefore, we study the functional constraints in the more general setting of relations with arbitrary arity. We show that a chase algorithm for functional constraints can be normalized to a more specialized symmetry-preserving chase algorithm. This symmetry-preserving chase algorithm is subsequently used to construct a sound and complete axiomatization for the functional constraints. This axiomatization is in particular applicable in the RDF data model, solving a major open problem of Akhtar et al. | Keywords: | functional constraints; chase algorithm; axiomatization | Document URI: | http://hdl.handle.net/1942/16440 | ISBN: | 978-3-319-04938-0 | DOI: | 10.1007/978-3-319-04939-7_12 | Rights: | Copyright Springer International Publishing Switzerland 2014 | Category: | C1 | Type: | Proceedings Paper |
Appears in Collections: | Research publications |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
foiks2014_paper.pdf | Peer-reviewed author version | 408.74 kB | Adobe PDF | View/Open |
SCOPUSTM
Citations
1
checked on Sep 2, 2020
Page view(s)
70
checked on Sep 7, 2022
Download(s)
192
checked on Sep 7, 2022
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.