The CORAL Deductive Database System.
Raghu RamakrishnanPraveen SeshadriDivesh SrivastavaS. SudarshanPublished in: Workshop on Programming with Logic Databases (Informal Proceedings), ILPS (1993)
Keyphrases
- database systems
- storage manager
- database languages
- data management
- relational database systems
- query optimization
- abductive inference
- database management systems
- database applications
- databases
- query processing
- object oriented
- data types
- main memory
- database technology
- database
- data model
- database design
- database server
- concurrency control
- data manipulation language
- data sets
- explanation based learning
- similarity measure
- transaction management
- machine learning
- deductive reasoning
- functional programs
- real time
- decision making
- relational databases