Interfacing Predicate Logic Languages and Relational Databases.
Upen S. ChakravarthyJack MinkerDuc TranPublished in: ICLP (1982)
Keyphrases
- predicate logic
- relational databases
- highly expressive
- knowledge representation and reasoning
- databases
- formal logic
- database
- temporal logic
- semantic net
- predicate calculus
- semantic network
- computational linguistics
- object oriented
- expressive power
- functional dependencies
- lower level
- xml documents
- description logics
- keyword search
- artificial intelligence
- fluent calculus
- order sorted
- xml data
- information retrieval
- multiagent systems