TY - GEN
T1 - An efficient algorithm for XML type projection
AU - Colazzo, Dario
AU - Sartiani, Carlo
PY - 2006/1/1
Y1 - 2006/1/1
N2 - In the contexts of data integration and data exchange, schema mappings are primarily used for query answering. As a consequence, their maintenance and, in particular, the detection of corrupted mappings, i.e., mappings that fail in matching the source and/or the target schema, is crucial. Corruption checking can be automatically performed by relying on an operation called type projection. This work describes an efficient algorithm for checking XML type projection, based on a characterization of type projection in terms of type simulation.
AB - In the contexts of data integration and data exchange, schema mappings are primarily used for query answering. As a consequence, their maintenance and, in particular, the detection of corrupted mappings, i.e., mappings that fail in matching the source and/or the target schema, is crucial. Corruption checking can be automatically performed by relying on an operation called type projection. This work describes an efficient algorithm for checking XML type projection, based on a characterization of type projection in terms of type simulation.
KW - Languages
UR - https://www.scopus.com/pages/publications/33750917863
U2 - 10.1145/1140335.1140343
DO - 10.1145/1140335.1140343
M3 - Conference contribution
AN - SCOPUS:33750917863
SN - 1595933883
SN - 9781595933881
T3 - PPDP'06 - Proceedings of the Eight ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
SP - 51
EP - 60
BT - PPDP'06 - Proceedings of the Eight ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
PB - Association for Computing Machinery (ACM)
T2 - PPDP'06 - 8th ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
Y2 - 10 July 2006 through 12 July 2006
ER -