Relational Semantics for Databases and Predicate Calculus
Philip KellyM. H. van EmdenPublished in: CoRR (2012)
Keyphrases
- predicate calculus
- databases
- relational databases
- formal model
- first order logic
- semantic network
- predicate logic
- lambda calculus
- theorem proving
- data model
- database
- database schemata
- proof procedure
- relational data
- knowledge discovery
- semantic net
- database systems
- theorem prover
- expressive power
- logic programming
- object oriented
- semantic representation
- relational data model
- xml documents
- information retrieval
- machine learning