PI-DDBS: A Deductive Data Base System Based on C-PROLOG and INGRES.
Zhu Yi-fenLi MeiChen Fu-anPublished in: DEXA (1992)
Keyphrases
- distributed database systems
- database
- relational database management systems
- logic programming
- databases
- object oriented
- expert systems
- programming language
- knowledge representation
- data base management systems
- prolog programs
- abstract machine
- explanation based learning
- data manipulation
- query language
- database management systems
- deductive reasoning
- inference engine
- data base management
- abductive inference
- database languages
- logic programming language
- relational databases
- knowledge base
- data sets
- constraint logic programming
- data abstraction
- theorem proving
- distributed databases
- semantically equivalent
- functional programs
- database systems
- backward chaining
- general purpose
- search algorithm