Descriptor
| Database Design | 1 |
| Databases | 1 |
| Deduction | 1 |
| Evaluation Methods | 1 |
| Program Implementation | 1 |
| Programming Languages | 1 |
| Semantics | 1 |
Source
| Information Systems | 1 |
Author
| Barja, Maria L. | 1 |
Publication Type
| Journal Articles | 1 |
| Opinion Papers | 1 |
| Reports - Descriptive | 1 |
| Reports - Evaluative | 1 |
Education Level
Audience
Location
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Peer reviewedBarja, Maria L.; And Others – Information Systems, 1995
Presents the design and implementation of a deductive object-oriented database which is built upon a formally defined data model that uses two languages: an imperative programming language called ROCK (Rule Object Computation Kernel), and a logic language called ROLL (Rule Object Logic Language). (LRW)
Descriptors: Database Design, Databases, Deduction, Evaluation Methods
