Implementation of the CORAL Deductive Database System.
Divesh Srivastava
Praveen Seshadri
Raghu Ramakrishnan
S. Sudarshan
ACM SIGMOD Conference
1993
22
2
167
176
1108 KB
CORAL is a deductive database system that supports a rich declarative language, provides a wide range of evaluation methods, and allows a combination of declarative and imperative programming. The data can be persistent on disk or can reside in main-memor
Information Systems, DATABASE MANAGEMENT, Systems, Query processing.
Software, PROGRAMMING LANGUAGES, Language Classifications, C++.
Software, PROGRAMMING LANGUAGES, Language Classifications, CORAL.
Information Systems, DATABASE MANAGEMENT, Logical Design, Data models.
D.3.2
Software, PROGRAMMING LANGUAGES, Language Classifications, CORAL.
H.2.1
Information Systems, DATABASE MANAGEMENT, Logical Design, Data models.
H.2.4
Information Systems, DATABASE MANAGEMENT, Systems, Query processing.
D.3.2
Software, PROGRAMMING LANGUAGES, Language Classifications, C++.