A non-uniform finitary relational semantics of system T.
Lionel VauxPublished in: RAIRO Theor. Informatics Appl. (2013)
Keyphrases
- database query languages
- finite state
- relational data
- relational databases
- data model
- relational model
- logic programming
- formal semantics
- relational calculus
- neural network
- information extraction
- semantic information
- conceptual model
- state space
- databases
- knowledge base
- entity relationship
- relational structures
- relational schema
- object identity
- algebraic operations
- conflict free