Modeling and Verifying Active XML Artifacts.

Serge Abiteboul Luc Segoufin Victor Vianu

Published in: IEEE Data Eng. Bull. (2009)

Keyphrases

xml documents
xml data
topic maps
data model
data sets
databases
neural network
e learning
data integration
model checking