Static Type-Checking of Datalog with Ontologies.
Jakob HenrikssonJan MaluszynskiPublished in: PPSWR (2004)
Keyphrases
- type checking
- relational calculus
- database query languages
- expressive power
- ontology based data access
- relational algebra
- query language
- dl programs
- data types
- query answering
- query processor
- abstract data types
- complex objects
- knowledge representation
- object model
- relational model
- information integration
- knowledge base
- relational data model
- normal form
- domain ontology
- databases
- database
- first order logic