Completeness Proof by Semantic Diagrams for Transitive Closure of Accessibility Relation.
Ryo KashimaPublished in: Advances in Modal Logic (2010)
Keyphrases
- transitive closure
- binary relations
- expressive power
- query evaluation
- recursive queries
- first order logic
- directed acyclic graph
- constraint databases
- query language
- spatial databases
- semantic network
- natural language
- database
- databases
- artificial intelligence
- inference rules
- relational algebra
- data quality
- high level
- domain ontology
- semantic information
- spatial data