Polymorphism in Datalog and Inheritance in a Metamodel.
Paolo AtzeniGiorgio GianformeDaniele TotiPublished in: FoIKS (2010)
Keyphrases
- metamodel
- data model
- query language
- object oriented
- expressive power
- deductive databases
- development process
- modeling language
- query answering
- black box
- design patterns
- life cycle
- software systems
- reference model
- integrity constraints
- knowledge representation
- datalog programs
- uml profile
- model driven
- object oriented databases
- transformation rules
- logic programming
- data integration
- database systems
- expert systems
- platform independent
- design rationale
- software engineering
- information technology
- cooperative
- e learning
- information systems
- databases