Keyphrases
- set of inference rules
- algebraic expressions
- inference rules
- xml keys
- programming language
- natural language
- data model
- algebraic operations
- information retrieval
- algebraic geometry
- functional dependencies
- language learning
- data sets
- specification language
- modal logic
- boolean algebra
- object identity
- relational data model
- relational algebra
- np complete
- case study
- information systems
- artificial intelligence
- databases