First-order unification using variable-free relational algebra.
Emilio Jesús Gallego AriasJames LiptonJulio MariñoPablo NogueiraPublished in: Log. J. IGPL (2011)
Keyphrases
- artificial intelligence
- relational algebra
- first order logic
- expressive power
- knowledge representation
- relational model
- normal form
- relational calculus
- query language
- data model
- relational database systems
- complex objects
- transitive closure
- relational operators
- expert systems
- database technology
- incomplete information
- database query languages
- relational data model
- null values
- databases
- aggregate functions
- summary tables
- database design
- algebraic operations
- relational algebra expressions