2013

paper

english

EN We discuss the problem of preservation of semantics of data in data exchange systems. Semantics of data is defined in a source database schema by means of integrity constraints and we expect that the semantics will be preserved after transforming the data into a target database. The transformation is defined by means of schema mappings. In order to reason about soundness and completeness of such mappings with respect to semantics preservation, we propose a method of developing a knowledge base capturing both databases and mappings in a data exchange system.Then formal reasoning about consistency of schema mappings with integrity constraints of databases and with knowledge of application domain can be performed.

88 - 97

10.1007/978-3-642-37343-5_10

https://link.springer.com/chapter/10.1007/978-3-642-37343-5_10

Knowledge Engineering, Machine Learning and Lattice Computing with Applications : 16th International Conference, KES 2012, San Sebastian, Spain, September 10-12, 2012

Knowledge Engineering, Machine Learning and Lattice Computing with Applications : 16th International Conference, KES 2012, 10-12.09.2012, San Sebastian, Spain