Relative information capacity of simple relational database schemata
SIAM Journal on Computing
Restructuring hierarchical database objects
Theoretical Computer Science - First International Conference on Database Theory, Rome, September 1986
On the correctness of representing extended entity-relationship structures in the relational model
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
ILOG: declarative creation and manipulation of object identifiers
Proceedings of the sixteenth international conference on Very large databases
A first course in database systems
A first course in database systems
Correspondence and translation for heterogeneous data
Theoretical Computer Science
Management of Multiple Models in an Extensible Database Design Tool
EDBT '96 Proceedings of the 5th International Conference on Extending Database Technology: Advances in Database Technology
WOL: A Language for Database Transformations and Constraints
ICDE '97 Proceedings of the Thirteenth International Conference on Data Engineering
The Use of Information Capacity in Schema Integration and Translation
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
Interactive schema translation with instance-level mappings
VLDB '05 Proceedings of the 31st international conference on Very large data bases
MIDST: model independent schema and data translation
Proceedings of the 2007 ACM SIGMOD international conference on Management of data
Heterogeneous data translation through XML conversion
Journal of Web Engineering
Model-Independent schema and data translation
EDBT'06 Proceedings of the 10th international conference on Advances in Database Technology
Model-independent schema translation
The VLDB Journal — The International Journal on Very Large Data Bases
A runtime approach to model-independent schema and data translation
Proceedings of the 12th International Conference on Extending Database Technology: Advances in Database Technology
Inheritance and Polymorphism in Datalog: an experience in Model Management
Proceedings of the 2009 conference on Information Modelling and Knowledge Bases XX
Polymorphism in datalog and inheritance in a metamodel
FoIKS'10 Proceedings of the 6th international conference on Foundations of Information and Knowledge Systems
| Hi-index | 0.00 |
We refer to the problem of translating schemas from a model to another, in a model independent framework. Specifically, we consider an approach where translations are specified as Datalog programs. In this context we show how it is possible to reason on models and schemas involved as input and output for a translation. The various notions are formalized: (i) concise descriptions of models in terms of sets of constructs, with associated propositional formulas; (ii) a notion of signature for translation rules (with the property that signatures can be automatically computed out of rules); (iii) the "application" of signatures to models. The main result is that the target model of a translation can be completely characterized given the description of the source model and the signatures of the rules. This result is being exploited in the framework of a tool that implements model generic translations.