A polymorphic type system for PROLOG.
Artificial Intelligence
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
Reusing and modifying rulebases by predicate substitution
Journal of Computer and System Sciences - Special issue: dedicated to the memory of Paris Kanellakis
A logical foundation for deductive object-oriented databases
ACM Transactions on Database Systems (TODS)
Implementing Abstract Objects with Inheritance in Datalogneg
VLDB '97 Proceedings of the 23rd International Conference on Very Large Data Bases
The Lixto data extraction project: back and forth between theory and practice
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Interactive schema translation with instance-level mappings
VLDB '05 Proceedings of the 31st international conference on Very large data bases
Model management 2.0: manipulating richer mappings
Proceedings of the 2007 ACM SIGMOD international conference on Management of data
Model-independent schema translation
The VLDB Journal — The International Journal on Very Large Data Bases
Inheritance and Polymorphism in Datalog: an experience in Model Management
Proceedings of the 2009 conference on Information Modelling and Knowledge Bases XX
GeRoMe: a generic role based metamodel for model management
Journal on data semantics VIII
Teaching a schema translator to produce O/R views
ER'07 Proceedings of the 26th international conference on Conceptual modeling
Reasoning on data models in schema translation
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
Model-Independent schema and data translation
EDBT'06 Proceedings of the 10th international conference on Advances in Database Technology
What have we learnt from deductive object-oriented database research?
DASFAA'11 Proceedings of the 16th international conference on Database systems for advanced applications - Volume Part I
Data model descriptions and translation signatures in a multi-model framework
Annals of Mathematics and Artificial Intelligence
| Hi-index | 0.00 |
We discuss the restructuring of a metamodel designed for representing several data models in a uniform way. This metamodel is currently used within MIDST, our Model Management proposal for performing translations of schemas and databases from a model to another. Such a restructuring is carried out by introducing hierarchies and, consequently, extending Datalog by providing it with inheritance and polymorphism in order to take advantage of them. In comparable scenarios, where predicates of the metamodel share structural elements and rules are syntactically and semantically similar, the use of hierarchies and a particular form of polymorphism provide significant advantages. These advantages range from simplifying the specification of elementary and complete translations (i.e. Datalog rules and programs, respectively) to ensuring a higher level of reuse for them, thus further improving the development of such rule-based systems.