Relational Semantics for the Turing Schmerl Calculus.
Eduardo Hermo ReyesJoost J. JoostenPublished in: Advances in Modal Logic (2018)
Keyphrases
- database query languages
- relational calculus
- relational algebra
- relational operators
- complex objects
- expressive power
- algebraic structure
- formal semantics
- relational data
- formal language
- logic programming
- semantic information
- data model
- machine intelligence
- relational databases
- relational model
- query language
- conceptual model
- databases
- relational learning
- default reasoning
- type checking
- process algebra
- proof theoretic
- relational query languages
- turing machine
- relational queries
- model theoretic
- sql queries
- normal form
- belief revision
- database systems