Document Server@UHasselt >
Research >
Research publications >

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
Citation: 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.
URI: http://hdl.handle.net/1942/16440
DOI: 10.1007/978-3-319-04939-7_12
ISBN: 978-3-319-04938-0
ISSN: 0302-9743
Category: C1
Type: Proceedings Paper
Appears in Collections: Research publications

Files in This Item:

Description SizeFormat
Main article408.74 kBAdobe PDF

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.