Please use this identifier to cite or link to this item:
http://hdl.handle.net/1942/16440
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | HELLINGS, Jelle | - |
dc.contributor.author | GYSSENS, Marc | - |
dc.contributor.author | Paredaens, Jan | - |
dc.contributor.author | Wu, Yuqing | - |
dc.date.accessioned | 2014-03-18T13:30:41Z | - |
dc.date.available | 2014-03-18T13:30:41Z | - |
dc.date.issued | 2014 | - |
dc.identifier.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 | - |
dc.identifier.isbn | 978-3-319-04938-0 | - |
dc.identifier.issn | 0302-9743 | - |
dc.identifier.uri | http://hdl.handle.net/1942/16440 | - |
dc.description.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. | - |
dc.description.sponsorship | Yuqing Wu carried out part of her work during a sabbatical visit to Hasselt Universitywith a Senior Visiting Postdoctoral Fellowship of the Research Foundation Flanders (FWO). | - |
dc.language.iso | en | - |
dc.publisher | Springer | - |
dc.relation.ispartofseries | Lecture Notes in Computer Science | - |
dc.rights | Copyright Springer International Publishing Switzerland 2014 | - |
dc.subject.other | functional constraints; chase algorithm; axiomatization | - |
dc.title | Implication and Axiomatization of Functional Constraints on Patterns with an Application to the RDF Data Model | - |
dc.type | Proceedings Paper | - |
local.bibliographicCitation.authors | Beierle, Christoph | - |
local.bibliographicCitation.authors | Meghini, Carlo | - |
local.bibliographicCitation.conferencedate | March 3-7, 2014 | - |
local.bibliographicCitation.conferencename | 8th International Symposium on Foundations of Information and Knowledge Systems | - |
local.bibliographicCitation.conferenceplace | Bordeaux, France | - |
dc.identifier.epage | 269 | - |
dc.identifier.spage | 250 | - |
local.bibliographicCitation.jcat | C1 | - |
dc.relation.references | 1. Akhtar, W., Cort es-Calabuig, A., Paredaens, J.: Constraints in RDF. In: Semantics in Data and Knowledge Bases. Volume 6834 of Lecture Notes in Computer Science. Springer Berlin Heidelberg (2011) 23-39. 2. Codd, E.F.: Relational completeness of data base sublanguages. Technical Report RJ 987, IBM Research Laboratory, San Jose, California (1972). 3. Codd, E.F.: Recent investigations in relational data base systems. In: Information Processing 74. (1974) 1017-1021. 4. Beeri, C., Vardi, M.: The implication problem for data dependencies. In: Automata, Languages and Programming. Volume 115 of Lecture Notes in Computer Science. Springer Berlin Heidelberg (1981) 73-85. 5. Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley (1995). 6. Lausen, G., Meier, M., Schmidt, M.: SPARQLing constraints for RDF. In: Proceedings of the 11th International Conference on Extending Database Technology: Advances in Database Technology. EDBT '08 (2008) 499-509. 7. Hartmann, S., Link, S.: More functional dependencies for XML. In: Advances in Databases and Information Systems. Volume 2798 of Lecture Notes in Computer Science. Springer Berlin Heidelberg (2003) 355-369. 8. Buneman, P., Davidson, S., Fan, W., Hara, C., Tan, W.C.: Keys for XML. Computer Networks 39(5) (2002) 473-487. 9. Hartmann, S., Link, S.: E cient reasoning about a robust XML key fragment. ACM Transactions on Database Systems 34(2) (2009) 10:1-10:33. 10. Vincent, M.W., Liu, J., Mohania, M.: The implication problem for `closest node' functional dependencies in complete XML documents. Journal of Computer and System Sciences 78(4) (2012) 1045-1098. 11. Arenas, M., Libkin, L.: A normal form for XML documents. ACM Transactions on Database Systems 29(1) (2004) 195-232. 12. Calbimonte, J.P., Porto, F., Keet, C.M.: Functional dependencies in OWL ABOX. In: XXIV Simp osio Brasileiro de Banco de Dados. (2009) 16-30. 13. Yu, Y., Heflin, J.: Extending functional dependency to detect abnormal data in RDF graphs. In: The Semantic Web ISWC 2011. Volume 7031 of Lecture Notes in Computer Science. Springer Berlin Heidelberg (2011) 794-809. 14. Cort es-Calabuig, A., Paredaens, J.: Semantics of constraints in RDFS. In: Proceedings of the 6th Alberto Mendelzon International Workshop on Foundations of Data Management. (2012) 75-90. 15. Fagin, R.: Horn clauses and database dependencies. Journal of the ACM 29(4)(1982) 952-985. 16. Wijsen, J.: Database repairing using updates. ACM Transactions on Database Systems 30(3) (2005) 722-768. 17. Fan, W., Geerts, F., Jia, X., Kementsietsidis, A.: Conditional functional dependencies for capturing data inconsistencies. ACM Transactions on Database Systems 33(2) (2008) 6:1-6:48. 18. He, Q., Ling, T.W.: Extending and inferring functional dependencies in schema transformation. In: Proceedings of the Thirteenth ACM International Conference on Information and Knowledge Management. CIKM '04, ACM (2004) 12-21. 19. Armstrong, W.W.: Dependency structures of data base relationships. In: Information Processing 74. (1974) 580-583. 20. Aho, A.V., Beeri, C., Ullman, J.D.: The theory of joins in relational databases. ACM Transactions on Database Systems 4(3) (1979) 297-314. 21. Beeri, C., Vardi, M.Y.: A proof procedure for data dependencies. Journal of the ACM 31(4) (1984) 718-741. 22. Beeri, C., Fagin, R., Howard, J.H.: A complete axiomatization for functional and multivalued dependencies in database relations. In: Proceedings of the 1977 ACM SIGMOD International Conference on Management of Data. SIGMOD '77 (1977) 47-61. | - |
local.type.refereed | Refereed | - |
local.type.specified | Proceedings Paper | - |
local.relation.ispartofseriesnr | 8367 | - |
dc.identifier.doi | 10.1007/978-3-319-04939-7_12 | - |
local.bibliographicCitation.btitle | Foundations of Information and Knowledge Systems: 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014, Proceedings | - |
item.fulltext | With Fulltext | - |
item.fullcitation | HELLINGS, Jelle; GYSSENS, Marc; Paredaens, Jan & Wu, Yuqing (2014) Implication and Axiomatization of Functional Constraints on Patterns with an Application to the RDF Data Model. In: 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. | - |
item.accessRights | Open Access | - |
item.contributor | HELLINGS, Jelle | - |
item.contributor | GYSSENS, Marc | - |
item.contributor | Paredaens, Jan | - |
item.contributor | Wu, Yuqing | - |
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.